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 条
  • [21] Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets
    Lassen, Kristian Bisgaard
    Tjell, Simon
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (03) : 233 - 240
  • [22] Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
    Robidoux, Ryan
    Xu, Haiping
    Xing, Liudong
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2010, 40 (02): : 337 - 351
  • [23] Aspect-Oriented Modeling in Software Architecture Pattern Based on UML
    Li, Hui
    Zhang, Jingjun
    Chen, Yuejuan
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 3, 2010, : 575 - 578
  • [24] A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
    Kerkouche, Elhillali
    Chaoui, Allaoua
    Bourennane, El Bay
    Labbani, Ouassila
    JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (04): : 25 - 43
  • [25] Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets
    Chang, Xuling
    Huang, Linpeng
    Hu, Jianpeng
    Li, Chen
    Cao, Bei
    2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 267 - 272
  • [26] Modelling ETL Processes of Data Warehouses with UML Activity Diagrams
    Munoz, Lilia
    Mazon, Jose-Norberto
    Pardillo, Jesus
    Trujillo, Juan
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008 WORKSHOPS, 2008, 5333 : 44 - +
  • [27] Modeling a distributed railway interlocking system with object-oriented Petri nets
    Hei, X.
    Mochizuki, H.
    Takahashi, S.
    Nakamura, H.
    Fukuda, M.
    Iwata, K.
    Sato, K.
    COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 309 - +
  • [28] Towards the Formal Verification of SysML Specifications : Translation of Activity Diagrams into Modular Petri Nets
    Rahim, Messaoud
    Hammad, Ahmed
    Boukala-Ioualalen, Malika
    3RD INTERNATIONAL CONFERENCE ON APPLIED COMPUTING AND INFORMATION TECHNOLOGY (ACIT 2015) 2ND INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND INTELLIGENCE (CSI 2015), 2015, : 509 - 516
  • [29] Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems
    Yu, Zhenhua
    Guo, Fang
    Ouyang, Jie
    Zhou, Lijun
    ADVANCES IN MECHANICAL ENGINEERING, 2016, 8 (11) : 1 - 11
  • [30] A Petri net-based approach for supporting aspect-oriented modeling
    Guan L.
    Li X.
    Hu H.
    Lu J.
    Frontiers of Computer Science in China, 2008, 2 (04): : 413 - 423
12345