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
相关论文
共 41 条
  • [1] Modelling UML sequence diagrams with aspect-oriented extended petri nets
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2012, 45 (01) : 57 - 65
  • [2] MODELING ACTIVITY DIAGRAMS WITH EXTENDED PETRI NETS
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    Qian, Zhilin
    INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2011, 17 (06): : 725 - 735
  • [3] Modeling UML sequence diagrams using extended Petri nets
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    Qian, Zhilin
    TELECOMMUNICATION SYSTEMS, 2012, 51 (2-3) : 147 - 158
  • [4] Modeling UML sequence diagrams using extended Petri nets
    Nianhua Yang
    Huiqun Yu
    Hua Sun
    Zhilin Qian
    Telecommunication Systems, 2012, 51 : 147 - 158
  • [5] Transformation of Coloured Petri Nets to UML 2 Diagrams
    Yassin, Ayman
    Hassan, Hoda
    NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, 2014, 276 : 131 - 142
  • [6] 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,
  • [7] Interorganizational processes modeling based on activity diagrams and Petri nets
    Yan, ZJ
    Sun, BW
    Wang, TM
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2: INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT IN THE GLOBAL ECONOMY, 2005, : 633 - 637
  • [8] 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
  • [9] Modeling and Analyzing Web Application with Aspect-Oriented Hierarchical Coloured Petri Nets
    Sun, Xiaoxing
    Yu, Huiqun
    Liang, Honghao
    Yang, Nianhua
    CHINA COMMUNICATIONS, 2016, 13 (05) : 89 - 102
  • [10] Temporal Interval Modeling for UML Activity Diagrams
    Olszewska, Joanna Isabelle
    KEOD: PROCEEDINGS OF THE 8TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL. 2, 2016, : 199 - 203
12345