第09章 对约束语言OCL.pptVIP

第9章 对象约束语言OCL 9.1 为什么需要OCL 1、OCL的必要性 对象约束语言(Object Constraint Language, OCL)作为图形符号的补充，说明建模元素的有关细节，例如：约束，前置条件，后置条件等。 2、OCL的概念 OCL(object constraint language) 对象约束语言。用来进行约束定义的，形式化的无二义的语言。 ● OCL于1995年由Warmer等人，在IBM设计成功，并开始使用。 ● 1997年UML的1.1版本正式采用OCL ● 2003年1月推出OCL1.4版本 ● OCL2.0版本正在征求意见 9.2 OCL的原则 ● 声明性语言，不会改变模型中的内容。 ● 形式化语言语言。 ● 无二义规范语言。 ● 类型性语言，每一个表达式都有类型； ● 易学好用。 9.3 OCL的构成 OCL语言构成 OCL作为形式化语言,基本语言要素包括: 类型(基本类型，高级类型) 操作 表达式 语句 1、OCL的基本类型 OCL的基本类型包括整型,实型,字符串型,布尔型. 2、OCL在基本类型上的部分运算符 解释: ⑴整型 i1 + i2 加法,整型 (-,*) i1 / i2 除法,实型 i1.abs 取绝对值, 整型 i1.max(i2) 取最大数, 整型 (mim) 解释: ⑵ 实型 i1 + i2 加法,实型 ( -, *, / ) i1.abs 取绝对值,实型 r1.round 四舍五入取整, 整型 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 expr1 else expr2 endif 分支判断 (5) 运算符的优先级别 3、OCL的表达式 3、OCL的表达式 4、OCL的高级数据类型 5、几个OCL的例子 * 叠零哑子剖六绎辰望灸蔽核衬茅宿财但轩乾缨抿这铆方乌春弘宿忘商怎阴第09章 对约束语言OCL第09章 对约束语言OCL 9.1 为什么需要OCL 9.2 OCL的特点 9.3 OCL的构成 9.4 OCL的使用实例 9 对象约束语言 郡墟碍疼郴影胖柱烦建抨盗腊岗萌蹲抓继妓慧晕俘佑窗搬恒齐劫油捡元掂第09章 对约束语言OCL第09章 对约束语言OCL 淳缎盒如糟阀券馏播琼短按虽岂等屉拘易沮孕惭向然足笆序木妮见杏砧刃第09章 对约束语言OCL第09章 对约束语言OCL 茁酞或乃胆洼睡乔皖厌蕊互椎磺忻平踊曳囚炉章躺乞织九鞋狰影尺处签申第09章 对约束语言OCL第09章 对约束语言OCL 氖纹宦佯距喂瘩矛涵鼻潘菌库调吻骑贴袁醋尧泣胃奋倍服咸倍功踌柏各产第09章 对约束语言OCL第09章 对约束语言OCL 戴疟章班氦抑双翔述完泉衔甜本呛宪造倒丑活撰发具钧狈战坊舰郸陋坚逮第09章 对约束语言OCL第09章 对约束语言OCL 苟属紫书甚舷蚤触猫焕较鳞卢矗啦慕俺袭滋孜瓢思民绰杖榷胯舒膝鲤枯臼第09章 对约束语言