2015版第09章建立辅助模型例析.ppt

软件建模与分析 2015.9-2015.10 主要概念及表示法 状态（state） UML； “对象生命期中的一种条件或者情形，在此期间它满足某些条件，执行某些活动，或者等待某些事件。” “状态是对一种状况的模型表示，在此期间保持了某些（通常是固有的）条件。” 《对象技术词典》 的定义 对象或者类的所有属性的当前值 。 对象或者类的整体行为（例如响应消息）的某些规则所能适应的（对象或类的）状况、情况、条件、形式或生存周期阶段。 状态太多 识别状态等价类 状态名称 状态名称 内部活动 展开方式 压缩方式 表示法 转移（transition） “源顶点和目标顶点之间的一个有向的关系。” 对转移的形式化描述： transition ::= trigger [‘,’ trigger]* [‘[‘ guard-constraint’]’] [‘/’ behavior-expression] 源状态 目标状态 触发器 [监护约束]／行为表达式 转移 自转移 组合状态（composite state） 由若干状态组织在一起所形成的状态成为组合状态。 包含在组合状态内部的状态称为子状态 内部不包含其他状态的状态称为简单状态 名称 S1 S2 S3 名称 组合状态的作用： 使模型更清晰 便于复用 简化图的绘制 展开方式 压缩方式 子状态机（submachine） 可以作为一个状态单元在上层状态机中使用的状态机 子状态机状态（submachine state） 作为一个状态单元使用 的子状态机 名称：类型 表示法 例：一部电话机的状态机图 摘机 活动 空闲 拨号 超时 连接 无效 振铃 忙 通话 保持 空闲 区域（region） 互斥状态（mutually state ） 正交状态（ orthogonal state ） 名称 S1 S2 S3 S4 区域 互斥状态 正交状态 作用：表示并发转移 伪状态（pseudo state） 伪状态实际上并不是一种状态，只是为了加强状态机图的可视化效果而引入的一些图形符号，都是结点（顶点）型的图形成分。 条件1 条件2 H H* 选择 接合 分岔 汇合 初始状态 终止结点 进入点 退出点 浅历史 深历史 最终状态 条件1 条件2 状态A 触发器A 触发器B 触发器C 状态B 状态C 状态D 状态A 触发器A[条件1] 触发器B 触发器C 状态B 状态C 状态D 触发器A[条件2] 选择 与 接合的用途 及 等价的表示法 用选择和接合表示 用监护约束表示 最终状态 和 终止结点 的区别 如何使用状态机图 在某些领域中，曾经以状态建模作为主要建模手段 在OO建模中，以状态机图作为认识对象行为的辅助手段 （1）仅对状态对行为影响复杂的对象建立状态机图 （2）使用状态机图的主要概念 状态、转移、组合状态、伪状态……根据需要选用 （3）识别对行为有不同影响的对象状态，达到如下效果： 在不同的状态下对象将呈现不同的行为规则 同一种状态下对象的行为规则是始终一致的。 （4）认识和描述转移 触发器、监护约束、行为表达式 （5）为类图提供有用的信息 状态——属性；转移——操作 练习： 1、解释下面给出的状态图。 练习 2、对于自动存取款机来说，存款是一个系统用况，在已有类模型用况模型的基础上，绘制顺序图。 3、用自然语言解释该图的含义。 练习： 4、解释下面给出的活动图。 9.6 构件图（component diagram） 构件图是一种表示构件的组织结构和相互关系的图，用于表达在实现时如何将系统元素组织成构件，从而支持以构件为单位进行软件制品的实现和发布。 UML1的构件图没有太多地反映当时构件技术的发展，它只是着眼于把软件的逻辑蓝图转化为比特（bit）世界中的事物。 UML2为构件图增添了许多内容，能够表示构件技术领域的大部分常用的概念。 构件（component）“一个构件表示系统中一个模块部件，它封装了它的内容，而其表现形式在其环境中是可替换的。” 可复用构件的简称，特指按某种构件标准设计，并可在多个系统中重复使用的软件构造块。 接口（interface） “接口是一种类目，它表示对一组紧凑的公共特征和职责的声明。一个接口说明了一个合约；实现接口的任何类目的实例必须履行这个合约。” 供接口（provided interface）——实现的接口 需接口（required interface） ——使用的接口 端口（port） “类目的一个特征，指出类目与外部环境之间或者与内部的部件之间的一个明显的交互点。” 向内，可以连接到与外部交互的内部成分 向外，连接到供接口或者需接口，并因此而分别称为 供端口