第14章UML的扩展机制

第14章UML的扩展机制,14.1UML的体系结构14.2构造型14.3标记值14.4约束14.5用于业务建模的UML扩展,14.1UML的体系结构模型是系统完整抽象，图是模型或模型子集的图形表示。按照UML的四层元模型体系及建立系统模型的要求,UML语言从4个抽象层次对UML语言的概念、模型元素和结构进行全面定义，并规定了相应的表示法和图形符号。14.1.1四层元模型体系结构UML具有一个四层的体系结构，每个层次是根据该层中元素的一般性程度划分的。从一般到具体这四层分别为：元元模型层（M3层）元模型层（M2层）模型层（M1层）运行时实例层（M0层）,14.1.1四层元模型体系结构元元模型层（M3层）主要任务：定义用于规定元模型的语言。元模型建模层次的基础，比元模型描述简洁，可以定义几个元模型。元模型层（M2层）主要任务：定义用于规定模型的语言。元模型是元元模型的实例。比描述它的元元模型更详细，特别是定义动态语义时。模型层（M1层）主要任务：定义描述语义域的语言，允许用户对不同领域的问题进行建模。模型是元模型的实例。用户模型是UML元模型的实例。运行时实例层（M0层）位于层次的底层。包含了在模型中定义的模型元素在运行时的实例。,14.1.1四层元模型体系结构四层元模型层次的例子,14.1.2元元模型层UML的元元模型层为UML的基础结构，基础结构由Infrastructure包表示。基础结构库包组成：核心包（Core）：包括了建立元模型时所用的核心概念外廓包（Profile）：定义了定制元模型的机制。,14.1.2元元模型层Infrastructure包的结构,14.1.2元元模型层1.Core包Core包拥有四个包：PrimitiveTypesAbstractionsBasicConstructsCore包的结构,14.1.2元元模型层2.Profiles包外廓包依赖核心包。可以将Profiles看作UML的一种调整。,14.1.3元模型层UML元模型由UML包的内容来规定，其中UML包分成用于结构性和行为性建模的包。包之间相互依赖，形成循环依赖性。循环依赖是由于顶层包之间的依赖性概括了其子包之间的所有联系，子包之间是没有循环依赖性的。,14.1.3元模型层UML包的结构：,14.1.3元模型层几个重要的包：Classes包CommonBehaviors包UseCases包CompositeStructure包AuxiliaryConstructs包,14.2构造型构造型允许用户对模型元素进行必要的扩展和调整，还能够有效地防止UML变得过于复杂。构造型扩展机制采用的方式是基于一个已存在的模型元素定义一种新的模型元素，新的模型元素在一个已存在元素中加入了一些额外语义。构造型扩展有助于为一种特定的应用域裁制一种建模语言。,14.2.1构造型的表示法构造型可以基于所有种类的模型元素。要表示一个构造型，可以将构造型名称用一对尖括号括起来，然后放置在构造型模型元素名字的邻近。构造型可以有它自己的图形表示符号构造型和构造型图标的表示：,14.2.2UML中预定义的标准构造型UML中已经预定义多种模型元素的标准构造型，用户也可以自己定义构造型。UML中预定义的标准构造型见表14-1。,14.3标记值标记值是对某种属性“键-值”对的明确定义，这些“键-值”存储有关模型元素的信息。使用标记值的目的是赋予某个模型元素新的特性，而这个特性不包括在元模型预定义的特性中。标记值可以用来存储模型元素的任意信息。,14.3.1标记值的表示法标记值用字符串表示，字符串有标记名、等号和值，写法上为“键=值”，在某些图中它们被规则地放置在大括弧内。,14.3.2UML中预定义的标准标记值某些标记已经在UML中预定义，有些则可以由用户自己定义。UML中预定义的标准标记值见表14-2。,14.4约束约束是用文字表达式表示的施加在某个模型元素上的语义限制。约束是一种限制，这种限制限定了该模型元素的用法或语义。约束定义的条件在条件定义的上下文中必须保持为真。,14.4.1约束的表示法约束用大括弧内的字符串表达式表示。约束可以附加在表元素、依赖关系或注释上。,14.4.2UML中预定义的标准约束UML中预定义了一些约束，其他的约束可以由用户自己定义。UML中预定义的标准约束见表14-3。,14.5用于业务建模的UML扩展“用于业务建模的UML扩展”文档记录了一种特定于某一领域的UML扩展，它包括由IvarJacobson创建的一组构造型、各种关联关系和一组构造型图标。业务模型的特点通常需要外部模型和内部模型才能表现，内部模型是描述业务内部事务的对象模