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 条
  • [21] Modeling Resource Management Problems with Activity-Oriented Petri Nets
    Davidrajuh, Reggie
    2012 Sixth UKSim/AMSS European Symposium on Computer Modelling and Simulation (EMS), 2012, : 179 - 184
  • [22] Automatic translation UML activity diagrams to Petri net
    Vladimiriovich, Markov Alexandr
    Alexandrovich, Voevoda Alexandr
    Olegovich, Romannikov Dmitry
    2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
  • [23] An object-oriented modeling approach based on entity-relationship diagrams and Petri nets
    Boccalatte, A
    Giglio, D
    Paolucci, M
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 1347 - 1352
  • [24] Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
    Custodio Soares, Joao Antonio
    Lima, Bruno
    Faria, Joao Pascoal
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 668 - 679
  • [25] UML Diagrams to Hierarchical Colored Petri Nets: An Automatic Software Performance Tool
    Zhu, Lianzhang
    Wang, Wenwen
    2012 INTERNATIONAL WORKSHOP ON INFORMATION AND ELECTRONICS ENGINEERING, 2012, 29 : 2687 - 2692
  • [26] Based Aspect-oriented Petri Nets in Software Engineering
    Hu, Wensong
    Yang, Xingui
    Zuo, Ke
    2011 INTERNATIONAL CONFERENCE ON PHYSICS SCIENCE AND TECHNOLOGY (ICPST), 2011, 22 : 646 - 650
  • [27] OOAspectZ and aspect-oriented UML class diagrams for Aspect-oriented software modelling (AOSM)
    Vidal Silva, C.
    Saens, R.
    Del Rio, C.
    Villarroel, R.
    INGENIERIA E INVESTIGACION, 2013, 33 (03): : 66 - 71
  • [28] Design, modeling and analysis of ITS using UML and Petri Nets
    Bonnefoi, Fabien
    Hillah, Lom Messan
    Kordon, Fabrice
    Renault, Xavier
    2007 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE, VOLS 1 AND 2, 2007, : 552 - +
  • [29] Modeling of hybrid supervisory systems using UML and Petri nets
    Miyagi, PE
    Villani, E
    Maruyama, N
    ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 149 - 158
  • [30] Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
    Louati, Aymen
    Barkaoui, Kamel
    INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS IN THE SERVICE SECTOR, 2016, 8 (02) : 87 - 97
12345