当重要的对象被发现后，通过一组互相关联的模型详细表示类之间的关系和对象的行为，这些模型从四个不同的侧面表示了软件的体系结构、静态逻辑、动态逻辑、静态物理和动态物理。试描述一下这四种特性。
解：静态逻辑模型描述实例化 (类成员关系) 、关联、聚集(整体 /部分)、和一般化 (继承)等关系。这被称为对象模型。一般化关系表示属性和方法的继承关系。定义对象模 型 的图形符号体系通常是从用于数据建模的实体关系图导出的。 对设计十分重要的约束， 如 基 数(一对一、一对多、多对多) ，也在对象模型中表示。
动态逻辑模型描述对象之间的互相作用。 互相作用通过一组协同的对象， 对象之间消 息 的有序的序列，参与对象的可见性定义，来定义系统运行时的行为。
静态物理模型通过模块描述代码的布局。动态物理模型描述软件的进程和线程体系结构。
暂无解析
设有关系Students(学号，姓名，年龄，性别，系别，家庭住址)，其中，属性“系名”是关系DESP的主键，用户要求访问“家庭地址”的某个成分，如邮编、省、市、街道以及门牌号。关系Students的主键和外键分别是()