对象约束语言.ppt
《对象约束语言.ppt》由会员分享,可在线阅读,更多相关《对象约束语言.ppt(22页珍藏版)》请在三一办公上搜索。
1、第九章 对象约束语言,内容,为什么需要OCLOCL的特点OCL的构成OCL的高级数据类型小结,9.1 为什么需要OCL,对象约束语言(Object Constraint Language,OCL)作为图形符号的补充,说明建模元素的有关细节,例如:约束,前置条件,后置条件等。,9.1 为什么需要OCL,OCL(object constraint language)对象约束语言。用来进行约束定义的,形式化的无二义的语言。OCL于1995年由Warmer等人,在IBM设计成功,并开始使用。1997年UML的1.1版本正式采用OCL2003年1月推出OCL1.4版本OCL2.0版本正在征求意见,9.2
2、 OCL的特点,声明性语言,不会改变模型中的内容。形式化语言语言。无二义规范语言。类型性语言,每一个表达式都有类型;易学好用。,9.3 OCL的构成,OCL作为形式化语言,基本语言要素包括:类型(基本类型,高级类型)操作表达式语句,9.3 OCL的构成,OCL的基本类型:包括整型,实型,字符串型,布尔型,9.3 OCL的构成,OCL在基本类型上的部分运算符,解释,整型 i1+i2 加法,整型(-,*)i1/i2 除法,实型 i1.abs 取绝对值,整型 i1.max(i2)取最大数,整型实型 i1+i2 加法,实型(-,*,/)i1.abs 取绝对值,实型 r1.round 四舍五入取整,整型
3、 r1.floor 向下取整,整型,解释,字符串型 s1.concat(s2)连接,字符串 s1.size 字符串长度,整型 s1.toLower 转换成为小写字母,字符串 s1.toUper 转换成为大写字母,字符串 s1.substring(i1,i2)取子串,字符串 s1=s2 等于,布尔型,解释,布尔型 b1 and b2 逻辑与,布尔型(or,xor)not b1 逻辑非,布尔型 b1=b2 等于,布尔型 b1 b2 不等于,布尔型 b1 implies b2 蕴涵,布尔型 当b1和b2均为真,或b1为假时,表达式为真1 if b1 then else endif 分支判断,解释,运
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 对象 约束 语言
链接地址:https://www.31ppt.com/p-6459644.html