%0 Journal Article
%T uml模型到fsm模型的转换
%A 郭亮
%A 缪淮扣
%A 王皙
%A 陈圣波？
%J 计算机科学
%D 2009
%R 10.11896/j.issn.1002-137X.2009.07.026
%X 通常可采用uml的各种图从web应用不同方面对其进行建模。当对web应用模型进行测试和验证时，需要分别考虑这些采用了不同图形描述的模型，这就带来了测试和验证的繁琐。如果将uml各种图转换到有限状态机(fsm)模型，则可以统一用fsm模型来表示、验证和测试。提出了基于状态迁移特性保持规则的uml到fsm的模型转换方法，特别针对uml状态图中的3种基本组成单元到fsm模型的转换，给出了各自的转换方法，并实现了原型工具uml2fsm.
%K 状态图
%K 模型转换规则
%K 有限状态机
%K uml
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=090726&flag=1