uml模型到fsm模型的转换

通常可采用uml的各种图从web应用不同方面对其进行建模。当对web应用模型进行测试和验证时，需要分别考虑这些采用了不同图形描述的模型，这就带来了测试和验证的繁琐。如果将uml各种图转换到有限状态机(fsm)模型，则可以统一用fsm模型来表示、验证和测试。提出了基于状态迁移特性保持规则的uml到fsm的模型转换方法，特别针对uml状态图中的3种基本组成单元到fsm模型的转换，给出了各自的转换方法，并实现了原型工具uml2fsm.