UML-OCL对象约束语言.pptxVIP

对象约束语言;1 对象约束语言概述;1 对象约束语言概述;OCL的产生;OCL的特点;UML图（例如类图）通常不够精细，无法提供与规范有关的所有相关部分。这其中就缺少描述模型中关于对象的附加约束。这些约束常常用自然语言描述。而实践表明，这样做经常造成歧义。为了写出无歧义的约束，已经开发出几种所谓的“形式语言”。传统上的形式语言，缺点是仅适合于有相当数学背景的人员，而普通商务或系统建模者则难以使用。 OCL的出现解决了这一问题，它是一种保留了易读易写特点的形式语言。OCL不仅用来写约束，还能够用来对UML图中的任何元素写表达式。 每个OCL表达式都能指出系统中的一个值或者对象。OCL表达式能够求出一个系统中的任何值或者值的集合，因此它具有了和SQL同样的能力，由此也可得知OCL既是约束语言，同时也是查询语言。;2 标准OCL类型;2 标准OCL类型;2 标准OCL类型;2.1 OclType类型;2.2 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) ;2.3 基本类型;2.4 集合类型;2.4 集合类型;1. Collection ;2. Set;3. OrderedSet;4. Bag;5. Sequence;6. Collection上的操作;7.使用消息;8. 元组(Tuple);2.5 OCL中的关键字;3 OCL表达式 ;OCL表达式的特点;3.1 OCL表达式的语法;3.1 OCL表达式的语法;3.2 操作符的优先级;4 用OCL表达对象性质约束 ;4 用OCL表达对象性质约束;4.1 不变量;4.2 前置条件和后置条件;4.3 let表达式与约束;5 示例-管理信用卡账户;5 示例;5.1 遍历???模型的OCL制品(I);5.1 遍历类模型的OCL制品(II);5.2 构建OCL表达式;5.3 OCL表达式示例(I);5.3 OCL表达式示例(II)