UML基础和 与Rose建模案例（第3版）第9章 扩展机制.pptxVIP

UML基础与Rose建模案例（第3版） 第9章 扩展机制 9.1 UML的体系结构 9.1.1 四层元模型体系结构 9.1.2 四层元模型层次的例子 9.1.3 UML元元模型层 9.1.4 UML元模型层 9.2 构造型 9.2.1 构造型的表示法 9.2.2 UML中预定义的标准构造型 9.3 标记值 9.3.1 标记值的表示法 9.3.2 UML中预定义的标准标记值 9.4 约束 9.4.1 约束的表示法 9.4.2 UML中预定义的标准约束 9.5 用于业务建模的UML扩展 UML具有一个四层的体系结构，每个层次是根据该层中元素的一般性程度划分的。从一般到具体这四层分别为元元模型层、元模型层、模型层、运行时实例层，描述了UML的四层体系结构。 元元建模层通常称为M3层，它的主要任务是定义规定元模型的语言，因此形成了元模型建模层次结构的基础。 元模型层通常称为M2层，元模型是元元模型的实例，元模型层的主要任务就是定义用于规定模型的语言。 模型层通常称为M1层，模型是元模型的一个实例，模型层的主要职责是定义描述语义域的语言即允许用户对不同领域的问题进行建模。 运行时实例层通常称为M0层，它位于层次的底部，包含了在模型中定义的模型元素在运行时的实例。 UML的体系结构 UML的元元模型层为UML的基础结构，基础结构由Infrastructure包表示。基础结构库包由核心包（Core）和外廓包（Profile）组成，前者包括了建立元模型时所用的核心概念，后者定义了定制元模型的机制。外廓包依赖核心包。外廓包定义了一种可以针对一个特定的知识领域改变元模型的机制，这种机制可用于对现存的元模型进行裁减使之适应特定的平台。 UML元元模型层 Core拥有四个包：Primitive Types、Abstractions、Basic和Constructs。 Core包 Primitive Types 基本类型包含了少数在创建元模型时常用的已定义的类型，包中的数据类型有Integer、Boolean、String和UnlimitedNatual。其中UnlimitedNatual表示一个自然数组成的无限集合中的一个元素。 构造型可以基于所有种类的模型元素：类、节点、组件、注释、关联、泛化和依赖等都可以用来作为构造型的基类。 要表示一个构造型，可以将构造型名称用一对尖括号括起来，然后放置在构造型模型元素名字的邻近。构造型可以有它自己的图形表示符号，如一个数据库可以用圆柱型图标表示。 构造型 标记值是对某种属性“键-值”对的明确定义，这些“键-值”存储有关模型元素的信息。在标记值中，标记是建模者想要记录的一些特性的名字，值是给定元素的特性的值。除内部元模型属性名外，任何字符串都可以作为标记名。 标记值 约束是用文字表达式表示的施加在某个模型元素上的语义限制。约束是一种限制，这种限制限定了该模型元素的用法或语义。像构造型一样，约束出现在几乎所有的UML图中，它定义了保证系统完整性的不变量。约束用大括弧内的字符串表达式表示。约束可以附加在表元素、依赖关系或注释上。 约束