状态图2009.pptVIP

状态图 阚忠良 kanzl@ Statechart Diagram(状态图) 定义：A statechart diagram shows a state machine, emphasizing the flow of control from state to state. state machine(状态机)：A state machine models the lifetime of a single object, whether it is an instance of a class, a use case, or even an entire system. StateDiagram/Statechart 用来建模对象是如何改变其状态的。 状态定义为对象行为在某一时刻的快照（snapshot）或者转折点（milestone）。 例：计算机的状态可以定义为：开机、启动、工作中、关机等。 状态图的用途 UML的状态图主要用于建立类的一个对象在其生存期间的动态行为，表现一个对象所经历的状态序列，引起状态转移的事件(event)，以及因状态转移而伴随的动作(action)。 也可以用来说明复杂的用例行为。 状态图的目的是为具有以下两个特性的属性建模： 属性拥有很少的值； 属性在这些值之间的转移有一定的限制。 例：类SellableItem有两个属性salePrice:Money和status:Inspection。 其中salePrice的取值范围为正实数，status的取值为received, inInspection, accepted, rejected等，则应根据属性status建立状态图。 说明： 状态图是UML 1.x中对系统的动态行为建模的五个图之一。 状态图描述了一个特定对象的所有可能状态以及由于各种事件的发生而引起的状态之间的转移。 状态图是显示状态机的一种方式，另一种显示状态机的方式是活动图。 Rose中，状态图不生成代码，但状态图在检查，调试和描述类的动态行为时非常有用。 状态图适合于描述跨越多个用例的单个对象的行为，而不适合描述多个对象之间的行为协作，因此，常常将状态图与其它技术组合使用。例如，交互图适合于描述单个用例中的多个对象的行为，活动图适合于描述多个对象和多个用例的活动的总次序。 一般状态图中显示的状态机会混合使用Mealy机和Moore机风格。 状态图中的基本概念 State (状态) Transition (转移) Event (事件) Action (动作) 状态(State) 定义：A state is a condition or situation during the life of an object during which it satisfies some condition, performs some activity, or waits for some event. 一个状态是指在对象的生命期中的一个条件或状况，在此期间对象将满足某些条件、执行某些活动或等待某些事件。 状态由以下因素确定： 对象的属性值 与其他对象的关系 正在执行的活动 说明： 所有对象都具有状态，状态是对象执行了一系列活动的结果。当某个事件发生后，对象的状态将发生变化。 状态图中定义的状态有：初态、终态、中间状态、组合状态、历史状态等。 一个状态图只能有一个初态，而终态可以有多个，也可以没有终态。 状态图组件（1） 状态 一个状态有以下几个部分： name entry/exit action internal transition substate deferred event composite state(组合状态)和substate(子状态) A composite state is a state that consists of either concurrent substates or sequential substates. A substate is a state that is nested inside another one. 子状态是嵌套在另一个状态中的状态。 一个含有子状态的状态被称作组合状态。 例：组合状态和子状态的例子。 说明： 组合状态中也有初始状态和终结状态。 从源状态可以转移到组合状态本身，也可以直接转移到组合状态中的子状态。 子状态之间可分为“or”关系和“and”关系两种。“or”关系说明在某一时刻仅可到达一个子状态，“and”关系说明组合状态中在某一时刻可同时到达多个子状态。 History State(历史状态) History State: A pseudostate whose activation restores the