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 条

[31] Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets
Mahfoudhi, Adel
Karamti, Walid
JOURNAL OF SUPERCOMPUTING, 2015, 71 (10): : 3637 - 3667
[32] Tolerance analysis approach with interval constrainted petri nets
Dutilleul, CS
Dhouibi, H
Craye, E
MODELLING AND SIMULATION 2004, 2004, : 265 - 271
[33] UML behavioral consistency checking using instantiable Petri nets
Yann Thierry-Mieg
Lom-Messan Hillah
Innovations in Systems and Software Engineering, 2008, 4 (3) : 293 - 300
[34] A formal semantics of UML StateCharts by means of timed Petri Nets
Hammal, Y
FORMAL TECHNIQUES FOR NEWTOWRKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 38 - 52
[35] UML behavioral consistency checking using instantiable Petri nets
Thierry-Mieg, Yann
Hillah, Lom-Messan
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (03) : 293 - 300
[36] Formalization of UML Composite Structure using Colored Petri Nets
Iqbal, Rao Sohail
Talib, Ramzan
Rehman, Haseeb Ur
Awais, Muhammad
Raza, Wajid
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2018, 9 (10) : 97 - 109
[37] A New State Model for DRAMs Using Petri Nets
Jung, Matthias
Kraft, Kira
Wehn, Norbert
INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION (SAMOS 2017), 2017, : 221 - 226
[38] Modeling of hybrid supervisory systems using UML and Petri nets
Miyagi, PE
Villani, E
Maruyama, N
ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 149 - 158
[39] Transformation of UML 2.0 Sequence Diagram into Coloured Petri Nets
Saputra, Aditya Bagoes
Basuki, Thomas Anung
Tirtawangsa, Jimmy
2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA), 2014, : 243 - 248
[40] An interleaving semantics for UML 2 interactions using Petri nets
Bouabana-Tebibel, Thouraya
Rubin, Stuart H.
INFORMATION SCIENCES, 2013, 232 : 276 - 293

← 1 2 3 4 5 →