第4章初识UML摘要.ppt

4.4 UML中的扩展机制 4.4.3 标记值 4.4.3.1 标记值的表示 使用标记值的目的是赋予某个模型元素新的特性，而这个特性不包括在元模型预定义的特性中。和构造型类似，标记值也不能和已有的元模型定义抵触或者改变其定义。 标记值可以用来存储模型元素的任意信息。包括使用标记值存储项目管理信息，如模型元素的创建日期、开发状态、截止日期和测试状态对于建模非常有用。 标记值的应用非常广泛，可以向任何模型元素中添加标记值。 4.4 UML中的扩展机制 4.4.3 标记值 4.4.3.1 标记值的表示 标记值用字符串表示，字符串有标记名、等号和值构成，一般表现形式为：{标记名=标记值}。 各种标记值被规则地放置在大括弧内。 有些标记已经在UML中预定义，有些可以由用户自己定义。 如下图所示的是关于一个版本控制信息的标记值。 4.4 UML中的扩展机制 4.4.3 标记值 4.4.3.2 自定义标记值 标记值是有关模型和模型元素的附加信息，在最终的系统中是不可见的。 自定义标记值时的具体步骤分成以下的几步： 1. 确定要定义标记值的目的。 2. 定义需要标记值的元素。 3. 为标记进行命名。 4. 定义值类型。 5. 根据使用标记值对象的不同，适当定义标记值。 6. 在文档中给出一个以上使用该标记值的例子。 4.4 UML中的扩展机制 4.4.4 约束 4.4.4.1 约束的表示 约束是用文字表达式表示的施加在某个模型元素上的语义限制。 约束是种限制，这种限制限定了该模型元素的用法或语义。约束定义的条件在条件定义的上下文中必须保持为真。 约束使用大括号和大括号内的字符串表达式表示，即约束的表现形式为：{约束的内容} 。约束可以附加在表元素、依赖关系或注释上。如下图显示了对订单类的约束条件。 4.4 UML中的扩展机制 4.4.4 约束 4.4.4.2 自定义约束 与构造型相同，UML中也提供了一些预定义的约束。 我们可以使用标准约束定义内容，同样也可以自己自定义约束内容。自定义的约束通过条件或语义限制来影响元素的语义，所以在自定义约束时，一定要仔细分析约束所带来的影响。 在自定义约束时需要做好以下工作： 1. 描述需要约束的元素。 2. 分析该元素的语义影响。 3. 列举出一个或多个使用该约束的例子。 4. 说明如何实现约束。 4.5 对象约束语言 4.5.1 对象约束语言概述 对象约束语言是一种形式化语言，它主要用于表示UML中模型上的约束。 UML的图形如类图，通常不可能详细地表达系统的各个细节，为了表达这些细节问题，需要为建模对象添加一些约束。这些约束可以使用自然语言来表达，但是自然语言的二义性增加了约束表达的复杂性和不可确定性。为了解决约束表达的问题，对象约束语言OCL应运而生了。 OCL最初由IBM公司设计成功，作为一种业务建模语言的一部分，OCL已经为标准化组织OMG所接受，成为了UML标准的一部分。 4.5 对象约束语言 4.5.2 标准OCL类型 OCL预定义的标准类型定义了一组基本类型和集合类型。 OCL的基本类型有Boolean、Integer、Real和String等，集合类型包括Collection、Set、Bag和Sequence等，这些标准类型是OCL表达式的组成部分，每种类型都有一组可用于该类型对象的操作和属性。 这些类型呈现一种层次结构，如下图所示。 4.5 对象约束语言 4.5.3 OCL表达式 OCL表达式用于对一个OCL类型求值。 OCL表达式有如下特点： 1. OCL表达式可以附加在模型元素上，模型元素的所有实例都应该满足表 达式的条件。 2. OCL表达式可以附加在操作上，附加在操作上的表达式要指定执行一个 操作前应该满足的条件(前置条件)或一个操作完成后必须满足的条件(后 置条件)。 3. OCL表达式可以指定附加在模型元素上的监护条件。 4. OCL表达式的计算原则是从左到右。整体表达式的子表达式得到一个具 体的值或一个具体类型的对象。 5. OCL表达式既可以使用基本类型又可以使用集合类型。 4.5 对象约束语言 4.5.4 用OCL表达对象性质使用约束 所谓对象性质，就是指一个对象的属性、操作等对象有关的特性，在建模中具体是指定义的模型元素的特性。 OCL表达式可以表达对模型元素性质的约束，常见的情况有以下三种： 1.不变量 不变量常用于附加在模型元素上，它规定的约束条件通常需要该模型元 素的所有实例都满足。 2.前置条件和后置条件 前置条件指的是操作开始执行前必须为真的条件，后置条件指的是操作 成功执行后必须为真的条件。 3.let表达式和约束 let表达式附加在模型元素的属性上，它通常用于定义约束中的一个变