chapter17对象约束语言.pptVIP

第17章 对象约束语言 17.1 对象约束语言概述 17.2 标准OCL类型 17.3 OCL表达式 17.4 用OCL表达对象性质约束 17.1 对象约束语言概述 对象约束语言简称OCL（Object Constraint Language），它是一种用于施加在指定的模型元素上约束的语言。 OCL表达式以附加在模型元素上的条件和限制来表现对该对象的约束，其中包括附加在模型元素上的不变量或约束的表达式、附加在操作和方法上的前置条件和后置条件等。 OCL的产生 OCL的产生是为了解决约束表达的问题。 OCL最初由IBM公司设计成功。 OCL已经为标准化组织OMG所接受，成为了UML标准的一部分。 OCL语言虽然是一种形式化语言，但是它既具有形式化语言无二义性的特点，又消除了形式化语言的复杂性。 OCL的特点 OCL是一种精确的、无二义性的语言，易于使用和掌握。 OCL是一种规范说明性语言，所有有关实现的问题都不能用OCL来表达。 OCL是一种纯表达式语言，它是具有没有任何副作用的声明性语言。对OCL表达式的计算将返回一个值，计算不会改变系统的状态。 OCL是一种类型化语言，即OCL中的每个表达式都是具有类型的。 OCL不是一种程序设计语言，不能用OCL编写程序逻辑和控制流程。 17.2 标准OCL类型 OCL预定义的标准类型定义了一组基本类型和集合类型。 O