第二部分类图地高级概念.pptVIP

第二部分 类图的高级概念 I 引 言 前面已经讨论了UML类图中的基本概念及其表示符号。本讲介绍类图技术中用于表示各种不同概念和技术的辅助符号。 着重说明：这些符号都是可选的，只有当你认为确实有必要时才去使用它们。 在初次学习UML时，可以跳过这些内容。当对UML有了进一步的了解之后，再回过来阅读这些内容。 II 构造型 构造型的定义； 构造型的表示； 定义构造型的步骤。 构造型的定义 构造型扩展机制是在一个已定义的模型元素的基础上构造一种新的模型元素的机制，适用于所有类型的模型元素。 采用构造型扩展机制构造的模型元素叫作构造型的模型元素(构造型元素或构造型)；那个被扩展的元素称作它的基元素。构造型可以看作是元模型类型的子类型。 一个构造型元素与它的基元素并无不同，只是添加了某种新的语义，可以用在它的基元素能够使用的各种场合。 构造型(Stereotype)的表示 构造型用带有一对尖括号的词组来表示，如《执行者》、《使用》和《扩展》等。为增加模型的直观效果，也可采用不同的图符。 实例：构造型《执行者》的三种表示符号。 构造型举例 泛化关系：《uses》，《extend》 分层概念：《概念层》，《说明层》，《实现层》 常用构造型：《dynamic》，etc. 定义构造型的步骤 确定图符：在基元素模型符号的基础上，附加 《构造型名称》或者指定一个图符。 定义语义：可以扩展它的基元素的语义，但必须与基元素的语义一致，且不能扩展基元素的文法结构；采用形式化方法、自然语言或其他半形式化方法描述。 III 多值分类和动态分类 概论； 单值分类； 多值分类； 动态分类。 概 论 分类：是指对象与类型之间的关系。 简单分类：对象的分类只能是单值的和静态 的。这有利于实现，但限制了概念层的建模 能力。 UML允许在概念模型中使用多值分类和动态分类。但从多值、动态的接口转变成单值、静态的实现比较麻烦。因此，当尚未掌握这类技术时，应当尽量避免采用。 单值分类 在单值分类中，一个对象仅属于一个类型； 但可能是从多个超类型继承下来的(多重继 承)。 实例： 多值分类 多值分类(续) 识别名称：多值分类中几个子类可以共享同一个识别名称，此时这些子类是互斥的。识别名称用{complete}标记时，表示这些子类是全集。 子类的组合：多值分类可用一条标有识别名称的泛化线将子类进行任意可接受的组合。 合法组合有：(女人，病人，护士)；(女人，病人)；(女人，医生，外科医生)。非法组合有：(病人，医生)和(男人，医生，护士)；等等。 动态分类 动态分类允许动态改变对象的类型。这种改变在其同类的子类型结构中进行。 静态分类不允许改变对象的类型。 静态分类对类型和状态做了明确的区分，而动态分类则合并了这两个概念。 此图用于说明一个人的职业。因为人的职业可以改 变，因而需要用到动态分类。 IV 聚集和组成 聚集和组成的基本概念； 聚集和组成的符号。 聚集和组成的基本概念 聚集描述类的对象之间的关系是整体与部分“是...的一部分”或“包含...”的关系。 组成描述类的对象之间的关系是整体拥有各部分(一个部分对象仅属于一个整体)且部分与整体共存亡:“由…组成”。 关联是指任意两个对象(或者多个对象甚至一个对象的两种角色)之间的某种联系，聚集和组成都是一种关联。 聚集和组成的符号 V 派生关联和派生属性 基本概念和符号； 图 例； 关于图例的说明。 基本概念和符号 派生关联和派生属性是指那些可以根据类图中其他的关联和属性计算得到的关联和属性。 在说明层，派生表示值与值之间的约束关系。 图中为属性 duration 加注了派生标记(“/”)表示对这个属性的一种约束。 帐目模型 帐目模型的一个对象图 帐目模型的简单实现模式 Class Entry { /* An entry */ Money amount; DetailAccount *detailAccount; /* points to the Detail Account that the entry is attached to. Entry objects are attached to Detail Accounts. */ } warrant[MAX_WARRANTS][MAX_ENTRIES_IN_A_WARRANT]; Class Account { /* Account: abstract class */ Money balance; /* = summary of this.entris[0..n].amoun