第10章部署图

解释:
⑵ 实型
i1 = i2 等于,布尔型 (<>,>,<,<=,>=) i1 + i2 加法,实型 ( -, *, / ) i1.abs 取绝对值,实型 i1.max(i2) 取最大数,实型(min) r1.round 四舍五入取整, 整型 r1.floor 向下取整, 整型
解释:
⑶ 字符串型
1. 部署规范的概念
部署规范(deployment specification)，也被称为部署说明， 是存放部署制品所依据的参量信息的一种特殊制品。部 署规范作为一种制品，一般作为文件的形式存在。部署 规范中存放所规范的制品的部署参量，这些部署参量被 称为部署特征符。
10.1.5 部署规范
2. 部署规范的表示
2. 制品的表示
制品表示为带构造型《artifact》的矩形框 。
10.1.2 制品
3. 制品的特性
制品具有以下特性： ● 物理性：制品是物理部件，以文件形式呈现 ● 承载性：制品承载逻辑部件 ● 部署性：制品一定要部署到物理结点上
10.1.2 制品
4. 制品的类型
UML没有给制品进行分类，可以根据具体建模对制品分 类，例如web建模可以把制品分为：
Байду номын сангаас
10.1.3 结点
2. 结点的表示
UML用立方体图形表示结点 。
10.1.3 结点
3. 结点之间的关系
1)通信关系 通信关系是结点之间的一种最普遍的关系，表示两个结
点之间需要通过介质连接，并可以互通信息 。
10.1. 结点 3
3. 结点之间的关系
2)包含关系 一个结点可以包含其他结点 。
10.1.3 结点
订单和”也必须等于0
● 分支
context 订单 inv 酬金 = if (订单和<100) then 2.00 else (订单和 *0.01) endif 求”订单”的”酬金”,如果订单和<100,酬金为 2,否则为订单和的百分之一.
● 导航 OCL可以从初始的上下文导航到与它有关系的其
他类。这些类与初始的类有关联或组合关系. context 订单 inv: 订单客户.age >= 18
s1.conscat(s2) 连接,字符串 s1.size 字符串长度,整型 s1.toLwer 转换成为小写字母,字符串 s1.toUpoer 转换成为大写字母, 字符串 s1.substring(i1,i2) 取子串, 字符串 s1 = s2 等于, 布尔型
解释:
⑷ 布尔型
b1 and b2 逻辑与,布尔型( or, xor) not b1 逻辑非, 布尔型 b1 = b2 等于,布尔型 b1 <> b2 不等于,布尔型 b1 implies b2 蕴涵,布尔型
执行环境需要部署到设备上。
10.1.4 部署
1. 部署的概念
部署(deploy)指把软件的各制品放置到运行结点上的工 作。大型软件系统的部署是一项十分复杂的工作。
部署表现为制品对结点的依赖关系。
10.1.4 部署
2. 部署的表示
部署可以表示为三种形式 1）包含形式：把制品直接放置到要部署的结点内。
3. 结点之间的关系
3)使用关系 一个结点访问另外一个结点，表现为两个结点之间的使
用关系。
10.1.3 结点
4. 结点的类型
结点可以有多种不同类型，可以通过构造型表示不同类 型的结点。例如， ：
《server》:服务器 《client》:客户机 《printer》:打印机 《deskarray》:磁盘阵列
10 第 章 部署图和OCL
10.1 部署图 10.2 OCL
10 第 章 部署图和OCL
10.1 部署图
10.1.1 概述 10.1.2 制品 10.1.3 结点 10.1.4 部署 10.1.4 部署规范
10.1.1 概述
1. 软件部署的含义
软件部署是把软件制品装配到计算机结点以及配置软件 环境的工作。 软件部署包括软件环境部署和软件制品部署。
不变量由inv关键字规定。下文表示这个表达式所作 用的范围。可以是类，类的属性和操作.
context 订单 inv: 订单和 > 10 --”订单”类中的所有对象的”订单和”都应该大于 10 context 订单 inv: 酬金= 0.01 * 订单和 --”订单”类的”酬金”的求法
● 蕴涵 context 订单 inv 订单的附件->size = 0 implies 订单和 = 0 “订单的附件”的数量如果等于0, 则”订单”的”
10.2.4 OCL的使用实例
10.2.1 为什么需要OCL
1、OCL的必要性
作为图形符号的补充，说明建模元素的有关细 节，例如约束，前置条件，后置条件等。
2、OCL的概念
OCL(object constraint language) 对象约束语言。 用来进行约束定义的，形式化的无二义的语言。
● OCL于1995年由Warmer等人，在IBM设计成 功，并开始使用。
context 客户 inv: 订单->size >= 1
5、一个OCL的例子
例1:
context Person inv: Person.allInstances->forAll(p1,p2|
p1<>p2 implies p1.name <> p2.name)
对类Person的所有对象实例,要求它们的 名字必须唯一.
《ASPpage》,《JSPpage》,《servelt》, 《webpage》,《XML》等类型
10.1.2 制品
5. 制品的承载
制品承载着模型的逻辑元素，制品与所承载的元素之间用 构造型《manifest》表示。
10.1.2 制品
6. 制品之间的关系
1)关联关系 描述制品之间存在实例连接关系。
10.1.3 结点
5. 设备
设备(device)表示硬件结点，主机、工作站、服务器、 客户机都属于设备。设备结点用带有构造型《device》 的结点来表示。
制品需要部署到设备上。
10.1.3 结点
6. 执行环境
执行环境(execution environment)表示软件支撑环境的结点， 如操作系统，数据库管理系统，J2EE开发环境等。执行 环境的构造型为《execution environment》。
部署规范表示为带构造型《deployment spec》的一个 矩形框。部署规范的名字用标识符表示，如果需要可以 把部署特征符写到矩形框里面。
10.1. 部署规范 5
3. 部署规范与被部署制品的关系
部署规范与被部署的制品是依赖关系，可以表示为两种 形式。
1）部署规范依赖所部署的制品
10.1.5 部署规范
当b1和b2均为真,或b1为假时,表达式为真
if b1 then <expr1> else <expr2> endif 分支判断
*、运算符的优先级别
3、OCL的表达式
⑴ 表达式的含义
OCL的表达式由操作数和运算符按一定规则 构成.表达式和特定的上下文有关,表达式具有确 定的值.
客户-订单-附件类
● 小结
● 10.1 部署图 10.1.1 什么是部署图 10.1.2 部署图的要素 10.1.3 部署图的例子
● 10.2 OCL 10.2.1 为什么需要OCL 10.2.2 OCL的特点 10.2.3 OCL的构成 10.2.4 OCL的几个例子
第9章 部署图、包图和OCL
● —— 重要知识点
3、OCL的表达式
● 表达式的上下文 表达式的上下文表示这个表达式所作用的范
围.可以是类,类的属性和操作. context 订单 -- 上下文为order类 context 订单.订单和 --上下文为”订单”
类 的属性”订单和”
context 订单.求税金() --上下文为”订单” 类
● 表达式的不变量
● 1997年UML的1.1版本正式采用OCL ● 2003年1月推出OCL1.4版本 ● OCL2.0版本正在征求意见
10.2.2 OCL的特点
● 声明性语言，不会改变模型中的内容。 ● 形式化语言。 ● 无二义规范语言。 ● 类型性语言，每一个表达式都有类型.
10.2.3 OCL的构成
OCL语言构成
3. 部署规范与被部署制品的关系
部署规范与被部署的制品是依赖关系，可以表示为两种 形式。
2）部署规范作为部署的描述
10.1.6 部署图
部署图的例子:
部署图的例子:
实例1：
教学进程
实例2：
教学进程
练习：
1、画出图书馆系统的部署图
教学进程
10 第 章 部署图和OCL
10.2 对象约束语言
10.2.1 为什么需要OCL 10.2.2 OCL的特点 10.2.3 OCL的构成
教学进程
本章作业
(1) 部署图的作用是什么？ (2) 画出一个实际系统的构件图和部署图.
END
教学进程
10.1.2 制品
6. 制品之间的关系
2)包含关系 一件制品可以包含多件其他制品。
10.1.2 制品
6. 制品之间的关系
3)依赖关系 制品之间存在大量依赖关系。
10.1.3 结点
1. 结点的概念
结点(node)指可部署软件制品，并能够从事计算的物理 设备。结点是一种特殊的类元，一种结点的实例是属于 该类结点的一个具体结点。
10.1.4 部署
2. 部署的表示
部署可以表示为三种形式 2）关系依赖形式：把部署作为一种依赖关系，虚线由制
品指向结点，用构造型《deploy》表示部署。
10.1. 部署 4
2. 部署的表示
部署可以表示为三种形式 3）列表形式：把制品的名字写到结点内，表示列出的制
品将部署到该结点上 。
10.1.5 部署规范
OCL作为形式化语言,基本语言要素包括: ● 类型(基本类型,高级类型) ● 操作 ● 表达式 ● 语句
1、OCL的基本类型
OCL的基本类型包括整型,实型,字符串型, 布尔型.
2、OCL在基本类型上的部分运算符
解释:
⑴整型
i1 = i2 等于,布尔型 (<>,>,<,<=,>=) i1 + i2 加法,整型 (-,*,omd,div) i1 / i2 除法,实型 i1.abs 取绝对值, 整型 i1.max(i2) 取最大数, 整型 (mim)
10.1.1 概述
2. 软件部署建模
软件部署通过部署图对软件部署建模。
10.1.2 制品
1. 制品的概念
制品(artifact)指制成的工件。在UML中，制品表示可 以在结点上独立部署的软件单元。
制品一般以文件的形式呈现，例如，模型文件、源文件、 编译文件、执行文件、脚本文件、数据库表等。
10.1.2 制品