UML扩展机制.pptVIP

14.4.1 表示标记值 标记值用字符串表示，字符串有标记名、等号和值。标记值把性质明确地定义成一个“键—值”对，其中键为标记。每个标记代表一种性质，并且能够应用于一个以上的元素，性质都用大括号括起来，一个标记对应一个值，如下所示： {tag=value} or {tag1=value1,tag2=value2} or {tag} 14.4.2 标记值应用元素 文献（Documentation）是给元素实例进行建档的标记，其值是字符串。通常这个标记值是单独显示的，并不与元素放在一起。如在某些软件或工具中，其值是显示在一个性质或文献窗口中。类Abstract附加在文献标记值可以是对该类的描述： This class can inherit only. 对于类型、实例、操作和属性共有九种标记值可以使用，它们分别是： 不变性（invariant） 应用于类型，它指定了类型实例在整个生命周期中必须保持一种性质，这个性质通常对于该类型实例必须有效的一种条件。 后置条件（postcondition） 应用于操作，它是操作结束后必须为真一个条件，该值没有解释通常也不显示在图中。 14.4.3 自定义标记值 标记值是由“键”即标记和“值”即某种类型组成，可以连接到任何元素上，用来为这些元素加上一些新的语义。标记值是有关模型和模型元素的附加信息，在最终的系统中是不可见的。自定义标记值时可以按照以下步骤进行： （1）确定要定义标记值的目的。 （2）定义需要标记值的元素。 （3）为标记命名。 （4）定义值类型。 （5）根据使用标记值对象（人或机器）的不同，适当定义标记值。 （6）在文档中给出一个以上使用该标记值的例子。 14.4.4 UML标准标记值 前面曾经介绍UML中预定义的标准构造型，同样UML中也预定义了标准标记值。在自定义标记值时，可以通过标准标记值进行扩展。 14.5 约束 约束是元素的一种语义条件或限制，它应用于元素。一条约束应用于同一种类的元素，因此一条约束可能涉及许多元素，但它们都必须是同一类元素。约束的每个表达式有一种隐含的解释语言，这种语言可以正式的数学符号，如集合的符号；也可是一种基于计算机的约束语言，如OCL；可以是一种编程语言如C、C++等；还可以是伪代码或非正式的自然语言。 14.5.1 表示约束 约束是一种限制，这种限制限定了该模型元素的用法或语义。与构造型相类似，约束出现在几乎所有UML图中，它定义了保证系统完整性的不变量。约束定义的条件在上下文中必须保持为真。 14.5.2 UML标准约束 UML中同样预定义了一些标准约束，用户可以扩展UML中的标准约束来创建自定义的约束。 14.5.3 自定义约束 约束是UML的扩展机制之一，与构造型和标记值相同用户也可以自定义约束。自定义的约束通过条件或语义限制来影响元素的语义。所以当自定义约束时，一定要仔细分析约束所带来的影响。自定义约束时需要做好以下工作： 描述需要约束的元素。 分析该元素的语义影响。 给出一个或多个使用该约束的例子。 说明如何实现约束。 * 第14章 UML扩展机制 为了避免UML语言整体的复杂性，UML并没有吸收所有面向对象的建模技术和机制，而支持自身的扩展和调整。这就是扩展机制（extensibility mechanism），通过该扩展机制用户可以定义使用自己的元素。UML扩展机制由三部分组成：构造型（stereotype）、标记值（tagged value）和约束（constraint）。在许多情况下UML用户利用该扩展机制对UML进行扩展，使其能够应用到更广泛的领域。 * 本章学习要点： 理解UML四层体系结构 掌握四层体系结构间的关系 了解元元模型层和元模型层 理解UML核心语义 掌握构造型的表示方法 熟悉UML标准构造型 掌握标记值表示方法 了解UML标准标记值 掌握约束的表示方法 理解UML标准约束 * 14.1 UML的体系结构 按照面向对象的问题解决方案以及建立系统模型的要求，UML语言从四个抽象层次对UML语言的概念、模型元素和结构进行了全面定义，并规定了相应的表示法和图形符号。UML的四层体系结构就从这四个抽象层次演化而来。 * 14.1.1 四层体系结构 UML具有一个四层的体系结构，每个层次是根据该层中元素的一般性程序划分的。从一般到具体，四层分别为：元元模型层（Metametamodel）、元模型层（Metamodel）、模型层（Model）和用户模型层（UserModel）。UML四层体系结构的示意图。 14.1.2 元元模型层 UML的元元模型层是UML的基础结构