第9章包图与OCL.pptVIP

9.1.1 包的概念 1. 包的定义 包(Package): 是UML用来组织模型元素的模型元素。 包中可以包含类、接口、构件、用例、结点、活动、状态、包等其他模型元素。 包是对软件模型进行分解、组织的有效的模型元素。 2.包的表示 UML用带把的矩形框来表示包。 3.包中元素的可见性 包中的元素对其他包可以访问，也可以隐藏，可见性具有可见、保护和私有三种形式。 9.1.2 包的关系 1. 依赖关系 如果一个包要访问或导入另外一个包中的元素，则两个包之间存在依赖关系。 包的依赖关系用UML中的虚线箭头来表示,由源包指向被依赖的独立包。 在依赖关系上标注《import》导入的构造型。 2. 泛化关系 包之间也可以存在泛化关系。特殊包继承一般包的特性。 3. 包的嵌套 包之中可以嵌套子包。 9.1.3 包的设计原则 在设计包时，应遵循以下原则： ● 重用等价原则 ● 共同闭包原则 ● 共同重用原则 ● 非循环依赖原则 1、重用等价原则 把类放到包中时，尽量把包可以作为可重用的单元。包是可重用的包，包中的类是可重用的类。 2、共同闭包原则 把可能同时修改，同时维护的类放到一个包中，以便于维护，和升级。 3、共同重用原则 把将会同时，或使用时间相隔不长的建模元素放到同一个包中。 4、非循环依赖原则 包之间的依赖关系不要形成循环：即A依赖B，B依赖C，C又依赖A。 9.1.4 包图 包图由包和包之间的联系构成，包图中的图形元素是包，包之间用依赖关系或泛化关系连接。包图是对系统结构建模的重要工具。 9.2.1 为什么需要OCL 1、OCL的必要性 作为图形符号的补充，说明建模元素的有关细节，例如约束，前置条件，后置条件等。 2、OCL的概念 OCL(object constraint language) 对象约束语言。用来进行约束定义的，形式化的无二义的语言。 ● OCL于1995年由Warmer等人，在IBM设计成功，并开始使用。 ● 1997年UML的1.1版本正式采用OCL ● 2003年1月推出OCL1.4版本 ● OCL2.0版本正在征求意见 9.2.2 OCL的特点 ● 声明性语言，不会改变模型中的内容。 ● 形式化语言语言。 ● 无二义规范语言。 ● 类型性语言，每一个表达式都有类型； ● 易学好用。 9.2.3 OCL的构成 OCL语言构成 OCL作为形式化语言,基本语言要素包括: 类型(基本类型,高级类型) 操作 表达式 语句 1、OCL的基本类型 OCL的基本类型包括整型,实型,字符串型,布尔型. 2、OCL在基本类型上的部分运算符 解释: ⑴整型 i1 = i2 等于,布尔型 (,,,=,=) i1 + i2 加法,整型 (-,*,omd,div) i1 / i2 除法,实型 i1.abs 取绝对值, 整型 i1.max(i2) 取最大数, 整型 (mim) 解释: ⑵ 实型 i1 = i2 等于,布尔型 (,,,=,=) i1 + i2 加法,实型 ( -, *, / ) i1.abs 取绝对值,实型 i1.max(i2) 取最大数,实型(min) r1.round 四舍五入取整, 整型 r1.floor 向下取整, 整型 解释: ⑶ 字符串型 s1.conscat(s2) 连接,字符串 s1.size 字符串长度,整型 s1.toLwer 转换成为小写字母,字符串 s1.toUpoer 转换成为大写字母, 字符串