第09章 对象约束语言OCL

《第09章 对象约束语言OCL》由会员分享，可在线阅读，更多相关《第09章 对象约束语言OCL（26页珍藏版）》请在文档大全上搜索。

1、1239.1 为什么需要为什么需要OCL 1、OCL的必要性的必要性 对象约束语言对象约束语言(Object Constraint Language, OCL)作为作为图形符号的补充，说明建模元素的图形符号的补充，说明建模元素的有关细节有关细节，例如：约束，例如：约束，前置条件，后置条件等。前置条件，后置条件等。4 2、OCL的概念的概念 OCL(object constraint language) 对象约束语言。对象约束语言。用来进行约束定义的，用来进行约束定义的，形式化的无二义形式化的无二义的语言。的语言。 OCL于于1995年由年由Warmer等人，在等人，在IBM设计成设计成功，并开

2、始使用。功，并开始使用。 1997年年UML的的1.1版本正式采用版本正式采用OCL 2003年年1月推出月推出OCL1.4版本版本 OCL2.0版本正在征求意见版本正在征求意见5 声明性语言，不会改变模型中的内容。声明性语言，不会改变模型中的内容。 形式化语言语言。形式化语言语言。 无二义规范语言。无二义规范语言。 类型性语言，每一个表达式都有类型；类型性语言，每一个表达式都有类型； 易学好用。易学好用。9.2 OCL的原则的原则 69.3 OCL的构成的构成 OCL语言构成语言构成 OCL作为形式化语言作为形式化语言,基本语言要素包括基本语言要素包括: 类型类型(基本类型，高级类型基本类型

3、，高级类型) 操作操作 表达式表达式 语句语句7 1、OCL的基本类型的基本类型 OCL的基本类型包括整型的基本类型包括整型,实型实型,字符串型字符串型,布尔型布尔型.8 2、OCL在基本类型上的部分运算符在基本类型上的部分运算符 9解释解释: 整型整型 i1 + i2 加法加法,整型整型 (-,*) i1 / i2 除法除法,实型实型 i1.abs 取绝对值取绝对值, 整型整型 i1.max(i2) 取最大数取最大数, 整型整型 (mim) 10解释解释: 实型实型 i1 + i2 加法加法,实型实型 ( -, *, / ) i1.abs 取绝对值取绝对值,实型实型 r1.round 四舍五

4、入取整四舍五入取整, 整型整型 r1.floor 向下取整向下取整, 整型整型 11解释解释: 字符串型字符串型 s1.concat(s2) 连接连接,字符串字符串 s1.size 字符串长度字符串长度,整型整型 s1.toLower 转换成为小写字母转换成为小写字母,字符串字符串 s1.toUper 转换成为大写字母转换成为大写字母, 字符串字符串 s1.substring(i1,i2) 取子串取子串, 字符串字符串 s1 = s2 等于等于, 布尔型布尔型 12解释解释: 布尔型布尔型 b1 and b2 逻辑与逻辑与,布尔型布尔型( or, xor) not b1 逻辑非逻辑非, 布尔型

5、布尔型 b1 = b2 等于等于,布尔型布尔型 b1 b2 不等于不等于,布尔型布尔型 b1 implies b2 蕴涵蕴涵,布尔型布尔型 当当b1和和b2均为真均为真,或或b1为假时为假时,表达式为真表达式为真1 if b1 then else endif 分支判断分支判断 13 (5) 运算符的优先级别运算符的优先级别 14 3、OCL的表达式的表达式 表达式的含义表达式的含义 OCL的表达式由的表达式由操作数和运算符操作数和运算符按一定规则按一定规则构成。表达式和特定的构成。表达式和特定的上下文上下文有关，表达式具有有关，表达式具有确定的确定的值值。 1516 3、OCL的表达式的表达式