摘要
通常可采用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.
出处
《计算机科学》
CSCD
北大核心
2009年第7期113-116,149,共5页
Computer Science
基金
国家自然科学基金项目(60673115)
国家863计划项目(2007AA01Z144)
国家973项目(2007CB310800)
上海市教委科研项目(07ZZ06)
上海市重点学科建设项目(J50103)资助
