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 条
  • [1] From Petri Nets to UML model: A new transformation approach
    Meziani, Lila
    Bouabana-Tebibel, Thouraya
    Bouzar-Benlabiod, Lydia
    2018 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2018, : 503 - 510
  • [2] From UML Component Diagram to an Executable Model Based on Petri Nets
    Emadi, Sima
    Shams, Fereidoon
    INTERNATIONAL SYMPOSIUM OF INFORMATION TECHNOLOGY 2008, VOLS 1-4, PROCEEDINGS: COGNITIVE INFORMATICS: BRIDGING NATURAL AND ARTIFICIAL KNOWLEDGE, 2008, : 2780 - +
  • [3] UML and Petri Nets for design and analysis of distributed systems
    Bordbar, B
    Giacomini, L
    Holding, DJ
    PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2000, : 610 - 615
  • [4] Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
    Custodio Soares, Joao Antonio
    Lima, Bruno
    Faria, Joao Pascoal
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 668 - 679
  • [5] A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (12) : 3104 - 3117
  • [6] 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
  • [7] Automatic Transformation from UML Statechart to Petri Nets for Safety Analysis and Verification
    Hei, Xinhong
    Chang, Lining
    Ma, Weigang
    Gao, Jinli
    Xie, Guo
    2011 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (ICQR2MSE), 2011, : 948 - 951
  • [8] Building Dynamic Model in UML using Colored Petri Nets
    Zhanhg Hong-xia
    Zhu Lian-zhang
    2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 805 - 808
  • [9] Design, modeling and analysis of ITS using UML and Petri Nets
    Bonnefoi, Fabien
    Hillah, Lom Messan
    Kordon, Fabrice
    Renault, Xavier
    2007 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE, VOLS 1 AND 2, 2007, : 552 - +
  • [10] From UML to Petri Nets: The PCM-Based Methodology
    Distefano, Salvatore
    Scarpa, Marco
    Puliafito, Antonio
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2011, 37 (01) : 65 - 79
12345