前言
UML由动态图和静态图组成,状态图就是属于动态图中较为重要的一张图。
定义
用来描述一个特定对象的所有可能状态以及由于各种事件的发生而引起的状态之间的转移。
目的
研究类、角色、子系统、或组件的复杂行为。
组成元素
状态
定义:指在对象的生命周期中的某个条件或者状况,在此期间对象将满足某些条件、执行某些活动活活等待某些事件。
表示方法:圆角矩形。
初态和终态(Initial and Final States):初态用实心圆点表示,终态用圆形内嵌圆点表示。
初态和终态(Initial and Final States):初态用实心圆点表示,终态用圆形内嵌圆点表示。
转移
定义:两个状态之间的一种关系,表示对象将在源状态(Source State)中执行一定的动作,并在某个特定事件发生而且某个特定的警界条件满足时进入目标状态(Target State)。
事件标记(Trigger):是转移的诱因,可以是一个信号,事件、条件变化(a change in some condition)和时间表达式。
警界条件(Guard Condition):当警界条件满足时,事件才会引发转移(Transition)。
结果(Effect):对象状态转移后的结果。
警界条件(Guard Condition):当警界条件满足时,事件才会引发转移(Transition)。
结果(Effect):对象状态转移后的结果。
动作
UML状态图中的动作(Actions)是一个可执行的原子操作,也就是说动作是不可中断的,其执行时间是可忽略不计的。
自身转移
状态可以有返回自身状态的转移,称之为自身转移(Self-Transitions)。
组合状态
嵌套在另外一个状态中的状态称之为子状态(sub-state),一个含有子状态的状态被称作组合状态(Compound States)。
进入节点
由于一些原因并不会执行初始化(initialization),而是直接通过一个节点进入状态【Ready】,则此节点称之为进入节点(Entry Point)。
退出节点
历史状态
历史状态是一个伪状态(Pseudostate),其目的是记住从组合状态中退出时所处的子状态,当再次进入组合状态,可直接进入这个子状态,而不是再次从组合状态的初态开始。
并发区域
状态图可以分为区域,而区域又包括退出或者当前执行的子状态。说明组合状态在某一时刻可以同时达到多个子状态。
状态机
描述一个对象或一个交互在生命期内响应事件所经历的状态序列。单个类或一组类之间的协作行为可用状态机描述。
机房收费系统状态图
欢迎大家提出宝贵建议。
总结
不难发现,在UML图中,各个图都是相互关联的,尤其有两个图之间联系紧密,比如协作图和序列图,同为交互图,构件图和部署图同为实现图,对象图和类图之间为实例化,状态图和活动图之间也是相关联的。
两个图的之间的区别:
状态图从行为的结果来描述。
活动图从行为的动作来描述。
状态图描述了一个具体对象的可能状态以及他们之间的转化。