umlocl对象约束语言.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()的计