section 10 对象约束语言.ppt

对象约束语言 内容 为什么需要OCL OCL的特点 OCL的构成 OCL的高级数据类型 小结 为什么需要OCL 对象约束语言(Object Constraint Language, OCL)作为图形符号的补充，说明建模元素的有关细节，例如：约束，前置条件，后置条件等。 为什么需要OCL OCL(object constraint language) 对象约束语言。用来进行约束定义的，形式化的无二义的语言。 OCL于1995年由Warmer等人，在IBM设计成功，并开始使用。 1997年UML的1.1版本正式采用OCL 2003年1月推出OCL1.4版本 OCL2.0版本正在征求意见 OCL的特点 声明性语言，不会改变模型中的内容。 形式化语言语言。 无二义规范语言。 类型性语言，每一个表达式都有类型； 易学好用。 OCL的构成 OCL作为形式化语言，基本语言要素包括: 类型(基本类型，高级类型) 操作 表达式 语句 OCL的构成 OCL的基本类型：包括整型，实型，字符串型，布尔型 OCL的构成 OCL在基本类型上的部分运算符 解释 整型 i1 + i2 加法,整型 (-,*) i1 / i2 除法,实型 i1.abs 取绝对值, 整型 i1.max(i2) 取最大数, 整型 实型 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 分支判断 解释 运算符的优先级别 优先级决定了操作顺序； 优先级从上到下，改变顺序用括号 。 OCL的构成 OCL的表达式 (1) 表达式的含义 OCL的表达式由操作数和运算符按一定规则构成。表达式和特定的上下文有关，表达式具有确定的值。 (2) 表达式的上下文 表达式的上下文表示这个表达式所作用的范围。可以是类，类的属性和操作. context 订单 -- 上下文为“订单”类 context 订单.订单和 --上下文为“订单”类 的属性“订单和” context 订单.求税金( ) --上下文为“订单” 类的操作求“税金( )” (3) 表达式的不变量 不变量由inv关键字规定。上下文表示这个表达式所作用的范围。可以是类，类的属性和操作. context 订单 inv: --”订单”类中的所有对 订单和 10 --象的”订单和”都应该大于10 context 订单 inv: --”订单”类的”酬金”的求法 酬金= 0.01 * 订单和 也可以: context 订单 inv: --”订单”类的”酬金”的求法 self.酬金 = 0.01 * self.订单和