第13章.ppt.pptVIP

13.6 使用集合 在OCL表达式的许多结果包含不止一个值，允许存在多个值被OCL称为Collection的一个对象列表。OCL中共定义了四种类型的对象列表，分别是：Collection（集合）、Set（集）、Bag（袋子）和Sequence（序列）。 13.6.1 创建集合 集合可以通过字符显式地创建，创建集合时只需要写出创建集合的类型名称，后跟以列表值，各值项使用逗号隔开，并被花括号包括。创建集合如下所示： Set{1,5,6,99} Set{ Jim, Tim, xy} Sequence{1,3,94,0,1,3} Sequence{ Jim, Tim, Jim} Bag{1,2,4,5,4} Bag{ Jim, Tim, Tim} 13.6.2 操作集合 为了便于操作集合，OCL加定义了一些操作，这里只给出一些常用且重要的操作来示例，更多具体的操作会在OCL的标准库中介绍。操作如下所示： select 按照一定的规则选择选取符合规则的项，组成一个新的集合。 reject 从集合中选择不满足规则的项，组成一个新的集合。 forAll 指定一个应用于集合中每个元素的约束。 exists 确定某个值是否存在于集合中的至少一个或多个成员中。 isEmpty 操作判断集合中是否有元素。 count 判断集合中等于count参数的元素个数，并返回该数值。 iterate 访问集合中的每个成员，对每个元素进行查询和计算。 13.7 使用消息 OCL支持对已有操作的访问，也就是说OCL可以操作信号和调用信号，来发送消息。针对信号的操作，OCL提供了三种机制： 第一种机制“^” “^”为hasBeenSent已经发送的消息。该符号表示指定对象已经发送了指定的消息。 第二种机制OclMessage OclMessage是一种容器，用于容纳消息和提供对其特征的访问。 第三种机制“^^” 它是已发送符号“^”的增强形式，允许访问已经发送消息的集合，所有的消息被容纳在OclMessage中。 13.8 元组 元组是对一组数据元素，如文件中的一个记录或数据库中的一行等内容的定义，每个元素被赋予名称和类型。元组可以使用字符或基于表达式的赋值来创建。在OCL中，元组是使用被花括号包围的一系列“名称-类型”对和可选值来定义的，其定义形式如下所示： Tuple{name:String= Jim,age:Integer=23} 元组只是将一组值集合在一起的一种途径，然后元组必须被赋予一个变量。以下表达式使用def表达式来创建一个代理类元上下文内叫sales的新属性。 13.9 OCL标准库 OCL标准库（Standard Library）定义用于开成OCL表达式的所有可用的OCL类型，每种类型都有一组可用于该类型对象的操作，有时还会有属性。OCL中预定义的标准类型包括基本类型和集合类型，OCL的标准类型分布呈现一种层次结构。 13.9.1 OclVoid和OclAny类型 OclVoid类型是与所有其他类型相一致的一种类型，它只有一个叫OclUndefined的实例，应用于未定义类型的任何特性调用，除了oclIsUndefined()返回“真”，其他都会产生OclUndefined。 colIsUndefined(): Boolean 如果对象与OclUndefined相同，那么oclIsUndefined()的计算结果为“真”。 OclAny类型是一个UML模型里所有类型和OCL标准库的父类，它包括了诸多子类例如Real、Boolean、Sring、OclState和Integer等，如图13-3所示。模型里所有的子类都继承由OclAny定义的特性。下面是对所有OclAny中操作的描述。 =(object:OclAny):Boolean 如果self与object是同一对象，则返回值为“真”。 post:result = (self = object) (object:OclAny):Boolean 如果self是一个与object不同的对象，则返回值为“真”。 pre:result = (self object) 13.9.2 OclMessage类型 OclMessage是一个模板类，不能被直接初始化，而可以通过参数来初始化。每个OCL消息类型实际上是带一个参数的模板类型，创建OCL消息实例时将参数替换为一个操作或信号来实现。每个OclMessage类型完全由作为参数的操作或信号确定，并且每种OclMessage类型都将操作或信号的名称以及该操作的所有形式参数或该信号的所有属性作为OclMessage类型的属性。 13.9.3 集合类型 前面也对集合类型有过概述，集合（Coll