第09章-对象约束语言OCL

第9章对象约束语言OCL29.1为什么需要OCL9.2OCL的特点9.3OCL的构成9.4OCL的使用实例9对象约束语言39.1为什么需要OCL1、OCL的必要性对象约束语言(ObjectConstraintLanguage,OCL)作为图形符号的补充，说明建模元素的有关细节，例如：约束，前置条件，后置条件等。42、OCL的概念OCL(objectconstraintlanguage)对象约束语言。用来进行约束定义的，形式化的无二义的语言。●OCL于1995年由Warmer等人，在IBM设计成功，并开始使用。●1997年UML的1.1版本正式采用OCL●2003年1月推出OCL1.4版本●OCL2.0版本正在征求意见5●声明性语言，不会改变模型中的内容。●形式化语言语言。●无二义规范语言。●类型性语言，每一个表达式都有类型；●易学好用。9.2OCL的原则69.3OCL的构成OCL语言构成OCL作为形式化语言,基本语言要素包括:类型(基本类型，高级类型)操作表达式语句71、OCL的基本类型OCL的基本类型包括整型,实型,字符串型,布尔型.82、OCL在基本类型上的部分运算符9解释:⑴整型i1+i2加法,整型(-,*)i1/i2除法,实型i1.abs取绝对值,整型i1.max(i2)取最大数,整型(mim)10解释:⑵实型i1+i2加法,实型(-,*,/)i1.abs取绝对值,实型r1.round四舍五入取整,整型r1.floor向下取整,整型11解释:⑶字符串型s1.concat(s2)连接,字符串s1.size字符串长度,整型s1.toLower转换成为小写字母,字符串s1.toUper转换成为大写字母,字符串s1.substring(i1,i2)取子串,字符串s1=s2等于,布尔型12解释:⑷布尔型b1andb2逻辑与,布尔型(or,xor)notb1逻辑非,布尔型b1=b2等于,布尔型b1b2不等于,布尔型b1impliesb2蕴涵,布尔型当b1和b2均为真,或b1为假时,表达式为真1ifb1thenexpr1elseexpr2endif分支判断13(5)运算符的优先级别优先级决定了操作顺序；优先级从上到下，改变顺序用括号。143、OCL的表达式⑴表达式的含义OCL的表达式由操作数和运算符按一定规则构成。表达式和特定的上下文有关，表达式具有确定的值。15163、OCL的表达式●表达式的上下文表达式的上下文表示这个表达式所作用的范围。可以是类，类的属性和操作.context订单--上下文为“订单”类context订单.订单和--上下文为“订单”类的属性“订单和”context订单.求税金()--上下文为“订单”类的操作求“税金()”17●表达式的不变量不变量由inv关键字规定。上下文表示这个表达式所作用的范围。可以是类,类的属性和操作.context订单inv:--”订单”类中的所有对订单和10--象的”订单和”都应该大于10context订单inv:--”订单”类的”酬金”的求法酬金=0.01*订单和也可以:context订单inv:--”订单”类的”酬金”的求法self.酬金=0.01*self.订单和18●表达式的不变量context文章.可交付():Booleanpre:--post:result=(可用性=#inStock)表示“文章”的操作“可交付”的返回值是属性“可用性”的当前值是否等于inStockcontext订单.求税金():Realpre:--post:result=订单和*0.06519●蕴涵context订单inv订单的文章-size=0implies订单和=0“订单的文章”的数量如果等于0,则“订单”的“订单和”也必须等于0●分支context订单inv酬金=if(订单和100)then2.00else(订单和*0.02)endif求“订单”的“酬金”,如果订单和100,酬金为2,否则为订单和的百分之二。20●导航OCL可以从初始的上下文导航到与它有关系的其它类。这些类与初始的类有关联或组合关系.context订单inv订单客户.age18context客户inv订单-size=1214、OCL的高级数据类型OCL定义的高级数据类型有群,集合,袋和序列.其中群是抽象数据类型,集合,袋和序列是群的子集.集合(set):不包含重复元素;袋(Bag):允许包含重复元素;序列(Sequence):元素具有有序性的袋.22群的操作(Collection)OCL定义的群的操作有下表中列出的操作.235、几个OCL的例子例1:contextPersoninv:Person.allInstances-forAll(p1,p2|p1p2impliesp1.namep2.name)对类Person的所有对象实例,要求它们的名字必须唯一.24例2:contextPersoninv:letincome=self.jobsalary-sum()inifisUnemployedthenincome100elseincome=100endif对类Person的收入是工作薪水求和,但有限定条件.25例3:contextCompany::hireEmployee(p:Person)pre:notemployee-includes(p)post:employee-includes(p)该例中定义了操作的前置条件和后置条件，表明了操作前后必须满足的条件。26●小结9.1为什么需要OCL9.2OCL的特点9.3OCL的构成9.4OCL的几个例子第9章OCL