UML模型到FSM模型的转换  

Transformation from UML Model to FSM Model

作　　者：郭亮[1,2] 缪淮扣[1,2] 王皙[1] 陈圣波[1,2] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072 [2]上海市计算机软件评测重点实验室,上海210112

出　　处：《计算机科学》2009年第7期113-116,149,共5页Computer Science

基　　金：国家自然科学基金项目(60673115);国家863计划项目(2007AA01Z144);国家973项目(2007CB310800);上海市教委科研项目(07ZZ06);上海市重点学科建设项目(J50103)资助

摘　　要：通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试。提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM。Various UML diagrams can be used for modeling different aspects of a Web application. It would be complex when testing and verifying the models of the Web application, since models described by different diagrams have to be considered separately. By transforming each UML diagram into FSM model, we can apply a uniformed method for representing, verifying and testing to all the UML models of the Web application. This paper proposed a method for transformation from UML model to FSM model based on state-transition property preservation rule As we focused on the transformation from UML state diagrams to FSM models, a mechanism for transformation from three basic units of the state diagram to corresponding FSM models was presented. Finally, a prototype tool named LIML2FSM was presented.

关 键 词：状态图 模型转换规则 有限状态机 UML 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]