Study Of Transformation From UML2.0Sequence Diagram To Event Deterministic Finite Automata

Modeling of complex systems often require rigorous formal analysis andverification,while the UML is semi-automated,and its grammatical structure, althoughadopt a formal statute, the semantic part is described in natural language, and the lack ofprecise semantic description would cause some problems. In order to analyze and verifythe UML2.0sequence diagram model in the early stage of software development, aevent deterministic finite automata model of the UML2.0sequence diagram isintroduced in this paper.This paper first gives a formal description on syntax and semantics for UML2.0sequence diagrams and event deterministic finite automata and then proposes atransformation method to describe the sequence of events which each object in thescene described by sequence diagram involve in. Then the method is extended to thecombination of fragments with UML2.0sequence diagram. After that, we implementthis method into algorithm, and give one example for analysis. Finally, the design andimplementation of the transformation tool is introduced, and it proved the feasibility oftransformation from UML2.0sequence diagram to event deterministic finite automata.