Research Of Transformation Mechanism Between Petri Net And UML

Because of OMG has made UML the standard of OOA and OOD modeling language, UML was widely used to build models for complicated issues. Although UML can describe the behavioral character of a system, it can not be executed. UML can only provide static description of a dynamic behavior. On the other hand, Petri Net can describe the system function, system structure, system dynamic behavior and the interaction between system and the environment perfectly. Petri Net presents the system in a concision and straight way by using net chart, and it has great analysis technology.At first, this thesis discusses the research status of UML formalization, Petri Net and UML related theory. After analysing the character of Petri Net and UML model, we discuss the feasibility of the transformation from UML model to Petri Net, also study the necessity of transformation and key technology thoroughly. In this way, we present a method to transform UML model to Petri Net.Secondly, this thesis presents a method which uses UML and Petri Net to build models. By doing this, we can use UML to describe the system efficiently and use Petri Net to simulate the system effectively. Thus, we can make use of both advantages and avoid both disadvantages.At last, this thesis designs and realizes a transform tool for UML model. It makes the transformation between UML model and Petri Net possible. By transforming a UML state machine diagram to Petri Net model, the feasibility and correctness of this transform tool is validated.The practice indicated the transformation between UML model and Petri Net model is feasible, and it makes using Petri Net to validate system character possible.