uml-ocl对象约束语言.pptx

对象(duìxiàng)约束语言;1 对象约束语言(yǔyán)概述;1 对象约束(yuēshù)语言概述;OCL的产生(chǎnshēng);OCL的特点(tèdiǎn);UML图（例如类图）通常不够精细，无法提供与规范有关的所有相关部分。这其中就缺少描述模型中关于对象的附加约束。这些约束常常用自然语言描述。而实践表明，这样做经常造成歧义。为了写出无歧义的约束，已经开发出几种所谓的“形式语言”。传统上的形式语言，缺点是仅适合于有相当数学背景的人员，而普通商务或系统建模者则难以使用。 OCL的出现解决了这一问题，它是一种???留了易读易写特点的形式语言。OCL不仅(bùjǐn)用来写约束，还能够用来对UML图中的任何元素写表达式。 每个OCL表达式都能指出系统中的一个值或者对象。OCL表达式能够求出一个系统中的任何值或者值的集合，因此它具有了和SQL同样的能力，由此也可得知OCL既是约束语言，同时也是查询语言。;2 标准(biāozhǔn)OCL类型;2 标准(biāozhǔn)OCL类型;2 标准(biāozhǔn)OCL类型;2.1 OclType类型(lèixíng);2.2 OclAny类型(lèixíng);OclVoid类型是与所有其他类型相一致的一种类型，它只有一个叫OclUndefined的实例，应用于未定义类型的任何特性调用，除了oclIsUndefined()返回“真”，其他都会产生OclUndefined。 colIsUndefined(): Boolean 如果对象与OclUndefined相同，那么oclIsUndefined()的计算结果为“真”。 OclAny类型是一个UML模型里所有类型和OCL标准库的父类，它包括了诸多子类例如Real、Boolean、Sring、OclState和Integer等，如图13-3所示。模型里所有的子类都继承由OclAny定义的特性。下面是对所有OclAny中操作的描述(miáo shù)。 =(object:OclAny):Boolean 如果self与object是同一对象，则返回值为“真”。 post:result = (self = object) (object:OclAny):Boolean 如果self是一个与object不同的对象，则返回值为“真”。 pre:result = (self object);2.3 基本(jīběn)类型;2.4 集合(jíhé)类型;2.4 集合(jíhé)类型;1. Collection ;2. Set;3. OrderedSet;4. Bag;5. Sequence;6. Collection上的操作(cāozuò);7.使用(shǐyòng)消息;8. 元组(Tuple);2.5 OCL中的关键字;3 OCL表达式 ;OCL表达式的特点(tèdiǎn);3.1 OCL表达式的语法(yǔfǎ);3.1 OCL表达式的语法(yǔfǎ);3.2 操作符的优先级;4 用OCL表达对象(duìxiàng)性质约束 ;4 用OCL表达对象(duìxiàng)性质约束;4.1 不变量(biànliàng);4.2 前置条件和后置(hòu zhì)条件;4.3 let表达式与约束(yuēshù);5 示例(shìlì)-管理信用卡账户;5 示例(shìlì);5.1 遍历类模型(móxíng)的OCL制品(I);5.1 遍历类模型(móxíng)的OCL制品(II);5.2 构建(ɡòu jiàn)OCL表达式;5.3 OCL表达式示例(shìlì)(I);5.3 OCL表达式示例(shìlì)(II)