第11章UML扩展机制.pptVIP

第11章 UML的扩展机制 11.1 概述 14.2 版型 14.3 标记值 14.4 约束 14.5 用于业务建模的UML扩展 11.1 概述 U M L提供了几种扩展机制，允许建模者在不用改变基本建模语言的情况下做一些通用的扩展。这些扩展机制已经被设计好，以便于在不需理解全部语义的情况下就可以存储和使用。 扩展可以作为字符串存储和使用。对不支持扩展机制的工具来说，扩展只是一个字符串，它可以作为模型的一部分被导入、存储，还可以被传递到其他工具。如果后端工具设计成能够处理各种扩展，这些工具会为它们需要理解的扩展定义特定的语法和语义。 扩展机制包括约束、标记值和构造型。 11.2 版型 版型（构造型）允许用户对模型元素进行必要的扩展和调整，还能够有效地防止UML变得过于复杂。 版型扩展机制采用的方式是基于一个已存在的模型元素定义一种新的模型元素，新的模型元素在一个已存在元素中加入了一些额外语义。 版型扩展有助于为一种特定的应用域裁制一种建模语言。 例如，商业建模领域的建模者希望将商业对象和商业过程作为特殊的建模元素区别开来，这些元素的使用在特定的开发过程中是不同的。 11.2 版型 11.2.1 版型的表示法 11.2.2 UML中预定义的标准版型 11.2.1 版型的表示法 版型可以基于所有种类的模型元素。 要表示一个版型，可以将版型名称用一对尖括号括起来，然后放置在版型模型元素名字的邻近。 版型可以有它自己的图形表示符号 11.2.1 版型的表示法 版型和版型图标的表示 ： 11.2.2 UML中预定义的标准版型 UML 中已经预定义多种模型元素的标准版型，用户也可以自己定义版型。 UML中预定义的标准版型。 filelibrarydocumentexecutable entity subsystemprocess type 11.2.2 UML中预定义的标准版型 按照Joos等的观点，有四种不同类型的版型： 装饰型版型：可使用这些版型让工具显得更有特色，例如参与者 描述型版型：用于描述使用环境的版型，例如entitycontrol 限制性版型：在现有的模型元素中添加限制，例如interface限制该类是抽象类，只能包含抽象方法 重定义版型：修正元模型。应避免使用 11.3 标记值 标记值是对某种属性“键-值”对的明确定义，这些“键-值”存储有关模型元素的信息。 使用标记值的目的是赋予某个模型元素新的特性，而这个特性不包括在元模型预定义的特性中。 标记值不能和已有的元模型的的定义相抵触或改变他们的定义，而只能添加定义 标记值可以用来存储模型元素的任意信息。 11.3 标记值 标记值用字符串表示，字符串有标记名、等号和值，写法上为“键=值”，在某些图中它们被规则地放置在大括弧内。 11.4 约束 约束是用文字表达式表示的施加在某个模型元素上的语义限制或语义条件。 约束是一种限制，这种限制限定了该模型元素的用法或语义。 约束定义的条件在条件定义的上下文中必须保持为真。 约束可以出现在几乎所有的UML图中。 约束通常使用对象约束语言（OCL）来正式表示。 11.4 约束 约束用大括弧内的字符串表达式表示。约束可以附加在表元素、依赖关系或注释上。 11.5 对象约束语言OCL 11.5.1 对象约束语言概述 11.5.2 标准OCL类型 11.5.3 OCL表达式 11.5.4 用OCL表达对象性质约束 11.5.1 对象约束语言概述 对象约束语言简称OCL（Object Constraint Language），它是一种用于施加在指定的模型元素上约束的语言。 OCL表达式以附加在模型元素上的条件和限制来表现对该对象的约束，其中包括附加在模型元素上的不变量或约束的表达式、附加在操作和方法上的前置条件和后置条件等。 约束表示建模元素上的附加语义信息。在大多数情况下，它们的内容不直接影响代码生成。 OCL的产生 OCL的产生是为了解决约束表达的问题。 OCL最初由IBM公司设计成功。 OCL已经为标准化组织OMG所接受，成为了UML标准的一部分。 OCL语言虽然是一种形式化语言，但是它既具有形式化语言无二义性的特点，又消除了形式化语言的复杂性。使得OCL易于学习、易于使用、易于理解。 OCL的特点 OCL是一种精确的、无二义性的语言，易于使用和掌握。 OCL是一种规范说明性语言，所有有关实现的问题都不能用OCL来表达。 OCL是一种纯表达式语言，它是具有没有任何副作用的声明性语言。对OCL表达式的计算将返回一个值，计算不会改变系统的状态。 OCL是一种类型化语言，即OCL中的每个表达式都是具有类型的。 OCL不是一种程序设计语言，不能用OCL编写程序逻辑和控制流程。 11.