uml-ocl对象约束语言.pptxVIP

对象(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的实例，应用于未定义类型的任何特性调用，除了oclIsUndef