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 :
بازگشت