当重要的对象被发现后， 通过一组互相关联的模型详细表示类之间的关系和对象的行为，这些模型从四个不同的侧面表示了软件的体系结构、 静态逻辑、动态逻辑、静态物理和 动态物理。试描述一下这四种特性。
解：静态逻辑模型描述实例化 (类成员关系) 、关联、聚集(整体 /部分)、和一般化 (继承)等关系。这被称为对象模型。一般化关系表示属性和方法的继承关系。定义对象模 型 的图形符号体系通常是从用于数据建模的实体关系图导出的。 对设计十分重要的约束， 如 基 数(一对一、一对多、多对多) ，也在对象模型中表示。
动态逻辑模型描述对象之间的互相作用。 互相作用通过一组协同的对象， 对象之间消 息 的有序的序列，参与对象的可见性定义，来定义系统运行时的行为。
静态物理模型通过模块描述代码的布局。动态物理模型描述软件的进程和线程体系结构。
暂无解析
()在软件开发机构中被广泛用来指导软件过程改进。
向前纠错差错控制方法的特点是( )。