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
相关论文
共 50 条
  • [31] Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams
    Pels, Henk Jan
    ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: COMPETITIVE MANUFACTURING FOR INNOVATIVE PRODUCTS AND SERVICES, AMPS 2012, PT II, 2013, 398 : 144 - 151
  • [32] Threat-driven modeling and verification of secure software using aspect-oriented Petri nets
    Xu, DX
    Nygard, KE
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (04) : 265 - 278
  • [33] Towards a Framework of Aspect-Oriented Modeling with UML
    Zhou, Xiao-cong
    Liu, Chang
    Niu, Yan-tao
    Lai, Tai-zong
    ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 2, PROCEEDINGS, 2008, : 738 - 741
  • [34] Modeling Aspect-Oriented Programming with UML Profile
    Zhang, Jingjun
    Chen, Yuejuan
    Liu, Guangyuan
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL II, 2009, : 242 - +
  • [35] From UML Class Diagrams to Aspect-Oriented Class Diagrams Using Graph Transformation
    Aouag, Mouna
    Chaoui, Allaoua
    2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 458 - 463
  • [36] From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation
    Aouag, Mouna
    Chama, Wafa
    Chaoui, Allaoua
    INFORMATION AND SOFTWARE TECHNOLOGIES, 2012, 319 : 199 - 209
  • [37] Object oriented Petri nets in business process modeling
    Moldt, D
    Valk, R
    BUSINESS PROCESS MANAGEMENT, 2000, 1806 : 254 - 273
  • [38] Making UML activity diagrams object-oriented
    Kleppe, A
    Warmer, J
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 288 - 299
  • [39] Formalization and Verification of Business Process Modeling Based on UML and Petri Nets
    颜志军
    甘仞初
    Journal of Beijing Institute of Technology(English Edition), 2005, (02) : 212 - 216
  • [40] Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling
    Jeng, MD
    Lu, WZ
    2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 3175 - 3180
12345