Modeling UML Activity Diagrams with Aspect Oriented Data Concerned Petri Nets

被引：0

作者：

Yang, Nianhua ^{[1
]}

Yu, Huiqun ^{[1
]}

Sun, Hua ^{[1
]}

Qian, Zhilin ^{[1
]}

机构：

[1] E China Univ Chem Technol, Dept Comp Sci & Engn, Shanghai 200237, Peoples R China

来源：

2012 WORLD AUTOMATION CONGRESS (WAC) | 2012年

关键词：

UML; Activity diagram; Aspect oriented; Petri net; Mapping rule; VERIFICATION;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

To enhance formal analysis ability, UML activity diagrams are transformed into Petri nets. Elements in an activity diagram are formally defined for formal mapping rules definition. To model activity diagrams, data concerned Petri net (DCPN) is proposed. Data related issues in an activity diagram can be handled with the help of DCPN. Mapping rules from elements of an activity diagram to DCPNs are proposed both in graphical and formal forms. The soundness of each mapping rule is analyzed based on semantic equivalence relation. Aspect oriented techniques are used to compose DCPNs automatically. This paper provides foundation for developing model transformation tools from UML diagrams to analyzable Petri nets.

引用

页数：6