UML系统分析与设计教程-3、4、5UML的关系、符号、视图与图.ppt

第3章　UML的关系　 3.1　依赖关系　 依赖指出两个或多个模型元素之间语义上的关系。它表示被依赖元素的变化会要求或指示依赖元素的改变。 依赖关系用一个虚线箭头表示，箭头上可附加含关键字的版型，关键字用来指明依赖的种类。在UML2．0中的依赖种类如下： Access（访问）， bind（绑定）， call（调用）， create（创建）， derive（派生）， instantiate（实例化）， permit（允许）， realize（实现）， refine（精化）， send（发送）， substitute（替换）， trace（追踪依赖）， use（使用） 3.2　类属关系 泛化 泛化指出类间的“一般—特殊关系” （is-a） 一般类定义了它的特殊类的公共属性和操作 对一般类扩展一些属性和/或操作后，可以特化（specialize）成特殊类 一般类是特殊类的父类，特殊类是一般类的子类 特殊类可以继承一般类的属性和操作 子类可以定义自己的属性和操作，也可重新定义父类中的操作，但重新定义的操作必须与父类具有相同的操作特征（signature） 泛化是一种分类学关系，一个一般类可以从不同的维或方面将其特化（specialization）成不同的特殊类集合，用一个类元（用作分类符）来表示一个维或方面，由一个类元特化而成的特殊类组成一个泛化集（generalization set）。在泛化集中可对其元素应用约束，在UML中提供以下约束，见下表。 泛化集的约束 3.3　关联关系 关联描述了系统中对象之间或其它实例之间的连接。关联的种类主要有二元关联，多元关联，受限关联，聚集（aggregation）和组合（composition）。 3.3.1　角色与阶元 A. 二元关联 二元关联表示为在两个类之间用一条直线连接，直线上可写上关联名。 关联的两端可加上重数（multiplicity） ，表示该类有多少个对象可与对方的一个对象关联 B.多元关联 三个或三个以上的类之间可以互相关联 3.3.2　导航　 （navigability） 导航性 3.3.4　限定符 C. 受限关联（qualified association）：受限 关联用于一对多或多对多的关联。限定符（qualifier）用来区分关联“多”端的对象集合，它指明了在关联“多”端的某个特殊对象 3.3.6　聚合关系 聚集（aggregation）是表示整体一部分关系的一种关联，它的“部分”对象可以是任意“整体”对象的一部分。 3.3.7　组合关系 组合（composition）：组合是一种更强形式的关联，代表整体的组合对象有管理它的部分对象的特有责任，如部分对象的分配和解除分配。组合关联具有强的物主身份，即“整体”对象拥有“部分”对象，“部分”对象生存在“整体”对象中。 E. 关联类 ：UML中可以把关联定义成类，该关联的每个链都是这个类的实例 。 3.4　实现关系 实现关系将一个模型元素（如类）连接到另一个模型元素（如接口），后者（如接口）是行为的规约（specification），而不是结构，前者（如类）必须至少支持（通过继承或直接声明）后者的所有操作。可以认为前者是后者的实现。 泛化和实现都可以将一般描述与具体描述联系起来。其区别是，泛化是同一语义层上的元素之间的连接，通常在同一模型内；而实现是不同语义层中的元素之间的连接，它通常建立在不同的模型内，如设计类到分析类是一种实现关系。 5） 约束和派生（constraint derivation） 约束是用自然语言或特定的形式语言正文表示的语义条件或限制，它用“｛正文字符串｝”形式表示。约束可以附加到任何模型元素上，如前面有关泛化的约束有：不相交、交迭、完全的、不完全的。 关联也可以被派生或约束 6)模板（Templates） 模板是一个参数化的模型元素，使用它时参数必须在建模时绑定到实际值。模板的同义词是参数化元素。模板类不是一个直接可用的类，因为它有未绑定的参数，必须将它的参数绑定到实际值，以生成实际的类。 一个模板类可以是一个一般类的子类，这意味着由绑定该模板而形成的所有类都是给定类（一般类）的子类。 在使用模板生成实际类时，还可在绑定的类中附加特征（feature）。 第4章　UML的符号 ?UML为每一个模型元素规定了独特的图形表示符号，称为图标（Icon）。 ?在UML的核心包中定义的分类符，如对象类、接口、数据类型、节点、组件、信号、Use Case、子系统等，它们的图标如图3.9所示。 UML定义的联系，如依赖、关联、泛化、实现（Realiz