第9章 对象约束语言OCL.pptVIP

第9章 对象约束语言OCL;9.1 为什么需要OCL 9.2 OCL的特点 9.3 OCL的构成 9.4 OCL的使用实例;9.1 为什么需要OCL ; 2、OCL的概念 OCL(object constraint language) 对象约束语言。用来进行约束定义的，形式化的无二义的语言。 ● OCL于1995年由Warmer等人，在IBM设计成功，并开始使用。 ● 1997年UML的1.1版本正式采用OCL ● 2003年1月推出OCL1.4版本 ● OCL2.0版本正在征求意见; ● 声明性语言，不会改变模型中的内容。 ● 形式化语言语言。 ● 无二义规范语言。 ● 类型性语言，每一个表达式都有类型； ● 易学好用。 ;9.3 OCL的构成 ; 1、OCL的基本类型 OCL的基本类型包括整型,实型,字符串型,布尔型.; 2、OCL在基本类型上的部分运算符 ;解释:;解释:;解释:;解释:; (5) 运算符的优先级别 ; 3、OCL的表达式 ;干疏耳撇竣兼失泪科寞腺百兹韦罪肝俏霖靛医沫唁郭套蓖谴隆哨昆毋芬沸第9章 对象约束语言OCL第9章 对象约束语言OCL; 3、OCL的表达式 ; ● 表达式的不变量 不变量由inv关键字规定。上下文表示这个表达式所作用的范围。可以是类,类的属性和操作. context 订单 inv: --”订单”类中的所有对 订单和 10 --象的”订单和”都应该大于10 context 订单 inv: --”订单”类的”酬金”的求法 酬金= 0.01 * 订单和 也可以: context 订单 inv: --”订单”类的”酬金”的求法 self.酬金 = 0.01 * self.订单和; ● 表达式的不变量 context 文章.可交付(): Boolean pre: -- post: result = (可用性 = #inStock) 表示“文章”的操作“可交付”的返回值是属性 “可用性”的当前值是否等于inStock context 订单.求税金(): Real pre: -- post: result = 订单和 * 0.065; ● 蕴涵 context 订单 inv 订单的文章-size = 0 implies 订单和 = 0 “订单的文章”的数量如果等于0,则 “订单”的“订单和”也必须等于0 ● 分支 context 订单 inv 酬金 = if (订单和100) then 2.00 else (订单和*0.02) endif 求“订单”的“酬金”,如果订单和100,酬金为2,否则为订单和的百分之二。; ● 导航 OCL可以从初始的上下文导航到与它有关系的其它类。这些类与初始的类有关联或组合关系. context 订单 inv 订单客户.age 18 context 客户 inv 订单-size = 1 ; 4、OCL的高级数据类型 ;群的操作(Collection) OCL定义的群的操作有下表中列出的操作.; 5、几个OCL的例子 ; 例2: context Person inv: let income = self.jobsalary-sum() in if isUnemployed then income 100 else income = 100 endif 对类Person的收入是工作薪水求和,但有限定条件. ; 例3: context Company :: hireEmployee(p : Person) pre: