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

Abstract: 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 statctransition 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 UML2FSM was presented.

Key words: Model transformation, Property preservation, FSM, UML