UML05.1.ppt

UML统一建模语言  第5章 状态建模 软件05-4.5.6班softwarecui@163.com 状态图是UML中对系统的动态方面进行建模的五种图之一。 一个状态图显示了一个状态机。 状态图用于对系统的动态方面建模。大多数情况下，它包括对反应型对象的行为建模。 一个反应型对象是：它的行为是通过对来自它的语境外部的事件作出反应来最佳刻画的。反应型对象具有清晰的生命期，它的当前行为受它的过去行为影响。为了可视化、详述、构造和文档化一个单独对象的动态特性，状态图可以被附加到类、用况或整个系统上。 对软件密集型系统建模时 可视化、详述、构造和文档化某些对象的行为的最自然的方法是：着眼于从状态到状态的控制流。 着眼于从活动到活动的控制流。你可以用一个流程图(活动图)来描述后者。 对一个嵌入式家庭安全系统建模 这样的系统需要不间断地工作，并对来自外部的事件(如一个窗户被打破)作出反应。 另外，事件的顺序会改变系统行为的方式。例如，如果系统是第一次报警，对窗户被打破的检测将只是触发一个警报。 描述这样一个系统的行为，可通过对它的稳定状态建模、对触发从状态到状态变化的事件建模和对在每个状态改变时发生的动作进行建模来做最好的说明。 与状态图有关的一些概念 状态图：给出了一个状态机，强调了从状态到状态的控制流。 状态机：规定了对象在生命周期中响应事件所经历的状态的序列以及对象对这些事件的响应。状态机由状态、跃迁、事件、活动、动作等组成。 状态：代表对象在生命周期中的一种条件或状况，在这种状况下，对象满足某个条件，或执行某个动作、或等待某个事件。一个状态在一个有限的时间段内存在。 事件：是一个规范，在时间和空间域中有一个位置。 跃迁/转换/迁移：是两个状态之间的关系，它表示第一个状态的对象将执行某个动作，如果规定的事件发生或规定的条件被满足，则对象进入第二个状态。 活动：状态机中进行的非原子执行。 动作：是可执行的、不可分的计算，该计算造成了模型的状态变化或者值的返回。 5.1 事件 事件(event)：在某个时刻发生的事情。 判断方式：动词过去式：power turned on； 初始状态：paper tray becomes empty 并发的（cuncurrent）：两个因果无关的事件。互不影响。 并发事件按任何顺序发生。不用排序。 例：航班123、航班456 事件：错误事件，如，超时、取消中断——错误。 普通事件。 不同类型事件：信号事件，变更事件，时间事件。 5.1.1 信号事件 信号(signal)：从一个对象到另一个对象的明确的单向信息流动。——对象间的消息。 信号事件(signal event)：发送或接收信号的事件。——某时刻发生的事情。 信号类(signal class)：每一次信号传输都是唯一事件。表示法《signal》 5.1.2 变更事件 变更事件(change event)：由满足布尔表达式而引起的事件。 目的：不断测试表达式，当假变真，事件发生。 表示法：when(battery powerlower limit) 5.1.3 时间事件 时间事件(time event)：在绝对时间上或在某个时间间隔内发生的事情所引起的事件。 表示法： 绝对时间 when(date=January1,2000) 时间段 after(10 seconds) 5.2 状态 状态(state)：根据对象的总体行为，将取值和链接的集合组成（抽象）一个状态。 判断方式：-ing（Waiting,Dailing） 状态的持续时间(Powered) 表示法：圆角方框；状态名首字母大写。 类、对象、状态、事件 类中的对象拥有有限数量的可能状态。 Student（sitting,studying,sleeping） Jone, Jane, Black 每个对象在某个时刻只能处于一种状态下。 对象在生存期内可以跨越一种或多种状态。 Black:sleeping----sitting-----studying…… 在给定时刻，类的不同对象可以存在于多个状态中。 状态确定对象对输入事件的响应(行为调用、状态度化)。 事件——时间点；状态——时间段。 状