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 条
  • [31] Modeling UML Object Event Handling with Petri Nets Towards improvement of embedded systems analysis and design
    Szmuc, Wojciech
    Szmuc, Tomasz
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 454 - 457
  • [32] Modeling data-oriented Web applications using UML
    Adamkó, A
    Eurocon 2005: The International Conference on Computer as a Tool, Vol 1 and 2 , Proceedings, 2005, : 752 - 755
  • [33] Modeling and Analysis of CPS Availability Based on The Object-oriented Timed Petri Nets
    Yang, Yi
    Xu, Wei
    Wang, Sixin
    Wei, Kunlun
    2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018, : 6172 - 6177
  • [34] UML-based modeling of data-oriented WEB applications
    Adamko, Attila
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (09) : 1104 - 1117
  • [35] Virtual data warehouse modeling using petri nets for distributed decision making
    Chaki N.
    Sarkar B.B.
    Journal of Convergence Information Technology, 2010, 5 (05) : 8 - 21
  • [36] Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform
    Fabra, Javier
    Pena, Joaquin
    Ruiz-Cortes, Antonio
    Ezpeleta, Joaquin
    2008 3RD INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES (ICIW 2008), 2008, : 198 - +
  • [37] Physical modeling of data warehouses using UML component and deployment diagrams:: Design and implementation issues
    Luján-Mora, S
    Trujillo, J
    JOURNAL OF DATABASE MANAGEMENT, 2006, 17 (02) : 12 - 42
  • [38] f An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms
    Ali, Shaukat
    Briand, Lionel C.
    Arcuri, Andrea
    Walawege, Suneth
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 108 - +
  • [39] From Graphical Model in UML Activity Diagrams to Formal Specification in Event B for Workflow Applications Modeling
    Ben Younes, Ahlem
    Ben Ayed, Leila Jemni
    PROCEEDINGS OF INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY (ISCSCT 2009), 2009, : 496 - 499
  • [40] Aspect-Oriented Modeling of Spatial Data Interpolation for Estimating Missing Data in Internet of Things (IoT) Service Discovery
    Balakrishnan, Senthil Murugan
    JOURNAL OF TESTING AND EVALUATION, 2019, 47 (06) : 4004 - 4016
12345