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 条
  • [41] Production lines modeling by discrete/continuous aspect in Petri nets
    Demongodin, I
    Prunet, F
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 199 - 205
  • [42] 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
  • [43] Systematic review on aspect-oriented UML modeling: A complete aspectual UML modeling framework
    Magableh, A., 1600, Asian Network for Scientific Information (13):
  • [44] Object-oriented design of FMS control software based on object modeling technique diagrams and Petri nets
    Venkatesh, K
    Zhou, MC
    JOURNAL OF MANUFACTURING SYSTEMS, 1998, 17 (02) : 118 - 136
  • [45] A Collaborative Support Approach on UML Sequence Diagrams for Aspect-Oriented Software
    Naufal, Rafael de Almeida
    Silveira, Fabio F.
    Guerra, Eduardo M.
    ADVANCES IN CONCEPTUAL MODELING - CHALLENGES PERSPECTIVES, 2009, 5833 : 116 - 125
  • [46] On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation using Isabelle/HOL
    Meghzili, Said
    Chaoui, Allaoua
    Strecker, Martin
    Kerkouche, Elhillali
    2017 IEEE 18TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI 2017), 2017, : 419 - 426
  • [47] Modeling and Race Detection of Ladder Diagrams via Ordinary Petri Nets
    Luo, Jiliang
    Zhang, Qi
    Chen, Xuekun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2018, 48 (07): : 1166 - 1176
  • [48] Conceptual data modeling based on Petri nets
    Hirota, T
    Kumagai, S
    Kawabata, R
    Itoh, K
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2004, 108 : 7 - 14
  • [49] Aspect Oriented Navigation Modeling for Web Applications Based on UML
    Casalanguida, H.
    Duran, J. E.
    IEEE LATIN AMERICA TRANSACTIONS, 2009, 7 (01) : 92 - 100
  • [50] An object-oriented modular Petri Nets for modeling service oriented applications
    Wang, Ching Huey
    Wang, Feng Jian
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 479 - +
12345