Translation Rules and a Supporting Tool for Model-Based Reuse

The Model-Driven Architecture approach defines system functionality using a platform-independent model(PIM).The PIM is translated to one or more platform-specific models (PSMs) that computers can run. The analysis and verification to these models is necessary at the first stage of software development process. Due to lack of formal semantics, UML model describing software character need to be translated into formal model for analysis and verification. In this paper, we propose improved translation rules for UML2 sequence diagram and activity diagram, which can translate the dynamic model into Petri net precisely and efficiently. According to the translation rules, a translation tool is implemented. Using the translation tool we translate a series of representative UML models to Petri net models efficiently. It shows that the translation rules are rational and the translation tool is efficient.