对象约束语言(UML).ppt
《对象约束语言(UML).ppt》由会员分享,可在线阅读,更多相关《对象约束语言(UML).ppt(24页珍藏版)》请在三一办公上搜索。
1、1,第11章 对象约束语言,11.1 对象约束语言概述11.2 标准OCL类型11.3 OCL表达式11.4 用OCL表达对象性质约束,2,11.1 对象约束语言概述,UML中的图形符号有时候不能很好的表达所要建模的对象一些细节。需要对模型中的元素增加一些约束约束条件可以采用形式化语言形式化语言对于数学知识很好的人才能熟练运用,普通的开发人员使用起来比较困难.对象约束语言是一个形式化的语言,但是不复杂.,3,11.1 对象约束语言概述,对象约束语言简称OCL(Object Constraint Language),它是一种用于施加在指定的模型元素上约束的语言。OCL表达式以附加在模型元素上的条
2、件和限制来表现对该对象的约束,其中包括附加在模型元素上的不变量或约束的表达式、附加在操作和方法上的前置条件和后置条件等。,4,OCL的产生,OCL的产生是为了解决约束表达的问题。OCL最初由IBM公司设计成功。OCL已经为标准化组织OMG所接受,成为了UML标准的一部分。OCL语言虽然是一种形式化语言,但是它既具有形式化语言无二义性的特点,又消除了形式化语言的复杂性。,5,OCL的特点,OCL是一种精确的、无二义性的语言,易于使用和掌握。OCL是一种规范说明性语言,所有有关实现的问题都不能用OCL来表达。OCL是一种纯表达式语言,它是具有没有任何副作用的声明性语言。对OCL表达式的计算将返回一
3、个值,计算不会改变系统的状态。OCL是一种类型化语言,即OCL中的每个表达式都是具有类型的。OCL不是一种程序设计语言,不能用OCL编写程序逻辑和控制流程。,6,11.2 标准OCL类型,OCL预定义的标准类型定义了一组基本类型和集合类型。OCL的基本类型有“Boolean”、“Integer”、“Real”和“String”等,集合类型包括Collection(群集)以外,还有Set(集合)、Bag(袋)和Sequence(序列)等,这些标准类型是OCL表达式的组成部分。,7,11.2 标准OCL类型,11.2.1 基本类型11.2.2 集合类型11.2.3 OCL中的关键字,8,11.2.
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 对象 约束 语言 UML

链接地址:https://www.31ppt.com/p-6274310.html