UML系统分析与设计教程(第2版)第10章.ppt

ZhenyanJiZhenyanJiUML系统分析与设计SystemAnalysisDesign冀振燕北京交通大学Email：zhyji@bjtu.edu.cn第十章状态机图状态机图状态机图的应用UML系统分析与设计第2版ZhenyanJi*状态机图状态机图（StateMachineDiagrams）给出了一个状态机，强调了从状态到状态的控制流。状态机（StateMachine）定义了对象在生命周期中响应事件所经历的状态的序列以及对象对这些事件的响应。状态机由状态、跃迁、事件、活动、动作等组成。状态（State）代表对象在生命周期中的一种条件或状况，在这种状况下，对象满足某个条件，或执行某个动作、或等待某个事件。一个状态在一个有限的时间段内存在。UML系统分析与设计第2版ZhenyanJi*状态机图事件（Event）是一个重要事件的规范，该事件在时间和空间域中有一个位置。跃迁（Transition）是两个状态之间的关系，它表示第一个状态的对象将执行某个动作，如果规定的事件发生或规定的条件被满足，则对象进入第二个状态。活动（Activity）是状态机中正在执行的可分解的计算。动作（Action）是可执行的、不可分的计算，该计算造成了模型的状态变化或者值的返回。UML系统分析与设计第2版ZhenyanJi*状态机图状态机图UML系统分析与设计第2版ZhenyanJi*状态机图的应用交互作用图描述了多个对象间的交互作用，而状态机图描述单个对象在它的整个生命周期的行为。活动图描述了从活动到活动的控制流，状态机图描述了从事件到事件的控制流。状态机图可以用来描述整个系统、子系统、或类的动态方面，还可以描述用例的一个脚本。UML系统分析与设计第2版ZhenyanJi*状态机图的应用为一个事件驱动对象建模，应完成如下内容。确定状态机的上下文。状态机的上下文可以是类、用例、子系统或系统整体。确定初始状态和最终状态。通过考虑对象能够存在一段时间的条件，确定对象的稳定状态。确定稳定状态在对象生命周期中的局部排序。确定触发从状态到状态跃迁的事件。确定状态变化的动作。考虑使用子状态、分支、历史状态等来简化状态机图。确定是否所有的状态都在事件的某个组合中可达。确定没有状态是死状态。死状态是指没有事件或事件组合可以使对象从这个状态中跃出。检查状态机是否违反所期望的事件顺序和响应。UML系统分析与设计第2版ZhenyanJi*电梯系统的状态机图UML系统分析与设计第2版ZhenyanJi*…intsum=0;…publicintregister(Students){switch(state){caseOpen:if(sum40){ state=Open; sum=sum+1; }elsestate=Close;break; caseClose: System.out.println(“theclassisfull”); } returnsum;}UML系统分析与设计第2版ZhenyanJi*下面是一段Java源代码和对应的状态机图小结状态机图描述了一个特定对象的所有可能状态，以及引起状态跃迁的事件。状态机图用来模拟系统的动态方面，这些动态方面指系统对象按事件发生顺序排序的行为。状态机图可以用来描述整个系统、子系统或类的动态方面，还可以用来描述用例的一个脚本。本章介绍了状态机图的语义和功能，并举例说明了如何应用状态机图为事件驱动的对象建模。UML系统分析与设计第2版ZhenyanJi*ZhenyanJiZhenyanJi