Translation rules and a supporting tool for model-based reuse
Zhao J.; Zhou J.; Liu J.
Source PublicationProceedings - International Computer Software and Applications Conference
AbstractThe 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.
KeywordMDA Petri net Translation rule UML
URLView the original
Fulltext Access
Citation statistics
Document TypeConference paper
CollectionUniversity of Macau
AffiliationInner 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.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Zhao J.]'s Articles
[Zhou J.]'s Articles
[Liu J.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Zhao J.]'s Articles
[Zhou J.]'s Articles
[Liu J.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Zhao J.]'s Articles
[Zhou J.]'s Articles
[Liu J.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.