第09章 对象约束语言OCL.ppt

第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的表达式 ;; 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: not employee-includes(p) post: employee-includes(p