From petri nets to UML: A new approach for model analysis

被引：0
|
作者：
Meziani L. [1 ]
Bouabana-Tebibel T. [1 ]
Bouzar-Benlabiod L. [1 ]
Rubin S.H. [2 ]
机构：
[1] Laboratoire de la communication dans les systèmes informatiques, Ecole nationale Supérieure d’Informatique, BP 68M, Oued-Smar, Algiers
[2] Space and Naval Warfare Systems Center Pacific, San Diego, 92152-5001, CA
来源：
Advances in Intelligent Systems and Computing | 2019年 / 838卷
关键词：
Model checking; Petri nets; State machine; UML;
D O I：
10.1007/978-3-319-98056-0_3
中图分类号：
学科分类号：
摘要：
UML is a semi-formal notation largely adopted in the industry as the standard language for software design and analysis. Its imprecise semantics prevents any verification task. However, a formal semantics can be given to UML diagrams, for instance, through their transformation to models with a formal semantics, such as Colored Petri Nets (CPN). Colored Petri nets are an efficient language for UML state machine formalization and analysis. In order to assist the UML modeler in understanding the report generated by the Petri net tool, we propose a method to construct UML diagrams from the returned report. A case study is given to illustrate the proposed approach. © 2019, Springer Nature Switzerland AG.
引用
收藏
页码：52 / 68
页数：16
相关论文
共 50 条
  • [41] Modeling UML sequence diagrams using extended Petri nets
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    Qian, Zhilin
    TELECOMMUNICATION SYSTEMS, 2012, 51 (2-3) : 147 - 158
  • [42] From Petri nets to differential equations - An integrative approach for biochemical network analysis
    Gilbert, David
    Heiner, Monika
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 181 - 200
  • [43] Design of distributed manufacturing systems using UML and Petri nets
    Bordbar, B
    Giacomini, L
    Holding, DJ
    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 2000, 2000, : 105 - 110
  • [44] Formal models of UML statechart diagrams based on Petri nets
    School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China
    Beijing Hangkong Hangtian Daxue Xuebao, 2007, 2 (248-252):
  • [45] Modeling UML sequence diagrams using extended Petri nets
    Nianhua Yang
    Huiqun Yu
    Hua Sun
    Zhilin Qian
    Telecommunication Systems, 2012, 51 : 147 - 158
  • [46] A pattern-based approach to model software performance using UML and Petri nets: Application to agent-based systems
    Merseguer, J
    Campos, J
    Mena, E
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, 2003, : 307 - 313
  • [47] Modeling and analysis of hybrid systems: A new approach integrating Petri nets and differential equations
    Nenninger, G
    Krebs, V
    PROCEEDINGS OF THE JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS: FIFTH INTERNATIONAL WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (WPDRTS) AND THE THIRD WORKSHOP ON OBJECT-ORIENTED REAL-TIME SYSTEMS (OORTS), 1997, : 234 - 238
  • [48] A new approach to the evaluation of non Markovian stochastic Petri nets
    Haddad, Serge
    Mokdad, Lynda
    Moreaux, Patrice
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 221 - 240
  • [49] New perspectives in time(d) Petri Nets and their analysis
    Salum, L
    CCA 2003: PROCEEDINGS OF 2003 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 AND 2, 2003, : 1041 - 1045
  • [50] A new Requirements Engineering approach for Manufacturing based on Petri Nets
    Silva, Javier Martinez
    Javales, Raul
    Silva, Jose Reinaldo
    IFAC PAPERSONLINE, 2019, 52 (10): : 97 - 102
12345