软件工程理论-规约技术.pdfVIP

第4部分 其他规约技术 UML 和 RSL  UML的特点 统一的标准、易于使用、可视化表达力强 可以运用于任何软件开发过程 内部有扩展机制  使用面向对象的方法开发软件，要建立三种模型 对象模型 动态模型 功能模型 对象模型 表示静态的、结构化的系统的“数据”性质。 它是对模拟客观世界实体的对象以及对象彼此间 的关系映射，描述了系统的静态结构。 通常使用UML统一建模语言提供的类图来建立对 象模型。 类图描述类及类之间的静态关系。 类图的表示形式 schemeUnit_ Measure= hidelength,conv_ to_ meters,conv_ to_ yards in Unit-Measure class variablelength: Real -length Real value +GetLengthInMeters():Real getLengthInMeters: Unit→read lengthReal +GetLengthInYards():Real getLengthInMeters() ≡conv_ to_ meters(length) getLengthInYards: Unit→read lengthReal getLengthInYards() ≡conv_ to_ yards(length) 类似于RSL的 conv_ to_ meters: Real→Real scheme 结构 conv_ to_ yards : Real→Real end 可以用对象对这个类实例化， object SomeUnit:Unit_Measure. 类之间的关系 （1）关联关系 表示两类对象之间存在着某种语义上的联系，也 就是对象之间有相互作用、相互依靠的关系。 三种基本类型： 一对一（1:1）、 一对多（1:M） 多对多（M:N） （2）聚集关系 聚集也称为聚合，是关联的特例。 表示一类对象与另一类对象之间的关系，是 整体与部分的关系。 如果在聚集关系中处于部 分方的对象可以同时参与多 个处于整体方对象的构成， 则该聚集称为共享聚集。 如果部分类对象完全隶属于整体类对象，部 分与整体共存，整体不存在了部分也会随之 消失（或失去价值），则该聚集称为组合聚 集（复合聚集）。 （3）泛化关系 就是通常所说的继承关系，它是通用类和具体类之 间的一种分类关系。 具体类完全拥有通用类的数据和操作，并且还可以 附加一些数据和操作。 scheme Linear extend Unitwithclassend 例：描述铁路网 铁路网的组成成分有：线路（line）、车站 （station）、轨道（track ）、钢轨单元 （Unit）、连接器（connector）。 1.铁路网由一个或多个线路、两个或多个车站组成； 2. 铁路网要有钢轨单元构成； 3. 线路是一个或多个线性钢轨单元的现行序列； 4. 线路的钢轨单元必须是线路的、铁路网的钢轨单元； 5. 车站是一个或多个钢轨单元的集合； 6. 车站的钢轨单元必须是车站的、铁路网的钢轨单元； 7.车站由一个或多个轨道构成； 8.轨道是一个或多个线性钢轨单元的线性集合； 9.两个相异的轨道不共享钢轨单元； 10.轨道的钢轨单元必须是（该轨道的）车站的钢轨 单元； 11.钢轨单元是线性的（ linear）钢轨单元，或是转 辙器（switch）钢轨单元，或是简单渡线 （crossover）钢轨单元，或是可转辙渡线 （switchable crossover）钢轨单元； 12.钢轨单元有一个或多个连接器； 13.钢轨单元有一个或多个连接器；