��图6.25给出了状态图的表示方法。图中的椭圆表示状态,状态之间的箭头表示从一个状态到另一个状态的迁移,附加在箭头上的短语说明触发此状态迁移的事件。在图6.25中,"事件A"是一个单纯的事件,而"事件B[条件]"是一个有条件的事件,在给定条件满足时才起作用。OMT区分两种不同的行为,即操作和活动。操作是一个伴随状态迁移的瞬时发生的行为,与触发事件一起表示在有关的状态迁移之上。活动则是发生在某个状态中的行为,往往需要一定的时间来完成,因此与状态名一起出现在有关的状态之中。状态图中所有这些成份都可以根据具体要求而予以取舍。
  
图示


6.25 状态图的表示方法
��对一个事件的响应依赖于接收它的对象的状态,它可以包括状态的改变、发送另一个事件给原来的发送者或第三个对象。对于一给定类的事件、状态及状态的迁移,可以抽象并表示成一个状态图。动态模型由多个状态图组成,对于每一个具有重要动态行为的类都有一个状态图,从而表明整个系统活动的模式。各个状态图并发地执行,并可以独立地改变状态。对于各种类的状态图可以通过共享事件组合到一个动态模型中。
��