| Status | 已發表Published |
| Translation rules and a supporting tool for model-based reuse | |
| Zhao J.; Zhou J.; Liu J. | |
| 2012-12-14 | |
| Source Publication | Proceedings - International Computer Software and Applications Conference
 |
| Pages | 310-315 |
| Abstract | 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. © 2012 IEEE. |
| Keyword | MDA Petri net Translation rule UML |
| DOI | 10.1109/COMPSACW.2012.63 |
| URL | View the original |
| Language | 英語English |
| Fulltext Access | |
| Citation statistics | |
| Document Type | Conference paper |
| Collection | University of Macau |
| Affiliation | Inner Mongolia University China |
| Recommended Citation GB/T 7714 | Zhao J.,Zhou J.,Liu J.. Translation rules and a supporting tool for model-based reuse[C], 2012, 310-315. |
| APA | Zhao J.., Zhou J.., & Liu J. (2012). Translation rules and a supporting tool for model-based reuse. Proceedings - International Computer Software and Applications Conference, 310-315. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment