DocumentCode
607383
Title
From UML activity diagrams to CPN: An automatic transforming method
Author
Lianzhang Zhu ; Yibin Wang
Author_Institution
Coll. of Comput. & Commun. Eng., China Univ. of Pet., Qingdao, China
fYear
2012
fDate
3-5 Dec. 2012
Firstpage
955
Lastpage
959
Abstract
Software performance evaluation has been taken into considerations in order to avoid failure of final software´s performance, diminishing the risk of software development. This requires the method of evaluation effective and practical. CPN is good at simulating and verifying the dynamic behaviors of systems but limited by unignorable defects which researchers introduce UML to remedy. Unfortunately, because of the semantic separation between CPN and UML, the directly transforming work from the latter to the former has to rely on manual intervention, remaining old flaws unsolved and bringing new problems. This paper shows an approach that can convert UML activity diagrams to CPN models automatically via a specific intermediate model, which is being improved and will support all UML dynamic diagrams in the future.
Keywords
Petri nets; Unified Modeling Language; program verification; software fault tolerance; software performance evaluation; CPN models; UML activity diagrams; automatic transforming method; dynamic behaviors; semantic separation; software development risk; software performance evaluation; CPN; UML 2 activity diagram; automatic conversion; intermediate model; performance evaluation model;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing and Convergence Technology (ICCCT), 2012 7th International Conference on
Conference_Location
Seoul
Print_ISBN
978-1-4673-0894-6
Type
conf
Filename
6530472
Link To Document