11、UML状态机：从理论到实践的全面解析

UML状态机：从理论到实践的全面解析

1. UML状态图工具及局限性

在UML状态机的应用中，有多种工具可供选择：
- Rational Suite Development Studio Real - Time：由Rational Software Corporation开发，2006年被IBM收购，官网为www.ibm.com/software/rational。
- ARTiSAN Studio：由ARTiSAN Software Tools, Ltd.开发，官网是www.artisansw.com。
- Stateflow：由The Mathworks开发，官网为www.mathworks.com。
- VisualState：由IAR Systems开发，官网是www.iar.com。

UML状态图虽源于“复杂系统的可视化形式化方法”，但它并非纯粹的可视化表示。任何非平凡的状态机都需要大量文本信息，如动作和守卫条件的规范。UML规范虽将状态机语义与符号表示明确区分，但动作和守卫表达式的确切语法并未定义，因此人们常使用结构化英语或实现语言（如C、C++或Java）中的表达式。

UML状态图存在一些局限性：
- 处理顺序表示不佳 ：状态图难以表示处理顺序，如守卫条件的评估顺序或事件分发到正交区域的顺序。UML规范将此问题的处理责任推给设计者，不依赖特定顺序。但在实际实现UML状态机时，我们需要完全控制执行顺序，UML语义的限制显得多余。
- 图形表示价值有限 ：状态图需要大量伪状态（如连接、分叉、连接点、选择点等）来图形化表示控制流，这些元素