2015版第09章建立辅助模型讲解.pptVIP

软件建模与分析 2015.9-2015.10 主要概念及表示法 状态（state） UML； “对象生命期中的一种条件或者情形，在此期间它满足某些条件，执行某些活动，或者等待某些事件。” “状态是对一种状况的模型表示，在此期间保持了某些（通常是固有的）条件。” 《对象技术词典》 的定义 对象或者类的所有属性的当前值 。 对象或者类的整体行为（例如响应消息）的某些规则所能适应的（对象或类的）状况、情况、条件、形式或生存周期阶段。 状态太多 识别状态等价类 状态名称 状态名称 内部活动 展开方式 压缩方式 表示法 转移（transition） “源顶点和目标顶点之间的一个有向的关系。” 对转移的形式化描述： transition ::= trigger [‘,’ trigger]* [‘[‘ guard-constraint’]’] [‘/’ behavior-expression] 源状态 目标状态 触发器 [监护约束]／行为表达式 转移 自转移 组合状态（composite state） 由若干状态组织在一起所形成的状态成为组合状态。 包含在组合状态内部的状态称为子状态 内部不包含其他状态的状态称为简单状态 名称 S1 S2 S3 名称 组合状态的作用： 使模型更清晰 便于复用 简化图的绘制 展开方式 压缩方式 子状态机（submach