状态图语义
下列各节描述面向对象的状态图解释。
单一消息的“运行到完成”处理
IBM Rational Rhapsody
假定状态图将对某个外部参与者对状态图应用的单一消息作出反应。外部参与者可以是系统事件队列或另一对象。
活动过渡
过渡选择
过渡选择指定要触发的活动过渡子集。
冲突
如果两个过渡将导致退出同一个状态,那么称它们有
冲突
。只有正交过渡或独立过渡才能同时触发。这意味着,交错的执行将产生等同的结果。相互分离的退出状态是等同结果的满足条件。
优先级
优先级
能够解决某些(但并非全部)过渡冲突。
IBM Rational Rhapsody
使用状态层次结构来定义有冲突的过渡之间的优先级。但是,级别较低的(嵌套)状态可以覆盖行为,这意味着优先级较高。
过渡选择算法
过渡的执行
没有状态图的活动类
单一动作状态图
父主题:
设计状态图
反馈