状态图=状态+迁移
状态是对象在它的生命周期中的某一时刻，包括简单状态、复合状态、初始状态、终止状态、结合状态、历史状态。
entry：当进入一个状态的时候被自动触发。
do：当状态处于激活状态时执行do活动。
exit：当离开一个状态的时候被自动触发。
引发迁移的事件：1）信号事件 2）变化事件 3）时间事件 4）调用事件
迁移的文字标签：1）trigger表示触发，指明何种条件可以导致迁移发生。2）guard表示警戒条件，指为了让警戒发生而必须为真的布尔表达式。3）behavior指为响应事件而执行的行为，迁移行为指当迁移发生所执行的一个不可中断的活动。
活动图=活动+动作+活动边+活动节点
活动是由一个或多个动作组成的行为。动作是活动的一个步骤，但不是最小单位，只是相对活动而言的。
在活动边关联起来的信息流程可分为两大类：控制流和对象流。