Formal Transformation from Sequence Diagrams to Coloured Petri Nets

被引：15

作者：

Bowles, Juliana ^{[1
]}

Meedeniya, Dulani ^{[1
]}

机构：

[1] Univ St Andrews, Sch Comp Sci, St Andrews KY16 9SX, Fife, Scotland

来源：

17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010) | 2010年

关键词：

UML2; Sequence Diagrams; Coloured Petri Nets; Formal Model Transformation; Language Equivalence;

D O I：

10.1109/APSEC.2010.33

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper we define a formal strongly consistent transformation from UML2 sequence diagrams to coloured Petri nets (CPNs). We define the language of sequence diagrams (set of legal traces) and show how this is mapped onto an equivalent language of CPNs through formal transformation rules. The rules defined can be extended to consider modelling aspects such as stochastic and real-time behaviour. This work is part of a more general framework based on model driven transformations to validate UML models using Petri nets, and hence exploit existing Petri net analysis and verification tools for UML-based design.

引用

页码：216 / 225

页数：10

共 50 条

[1] Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
Custodio Soares, Joao Antonio
Lima, Bruno
Faria, Joao Pascoal
[J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 668 - 679
[2] Transformation of Coloured Petri Nets to UML 2 Diagrams
Yassin, Ayman
Hassan, Hoda
[J]. NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, 2014, 276 : 131 - 142
[3] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Barylska, Kamila
Gogolinska, Anna
Mikulski, Lukasz
Philippou, Anna
Piatkowski, Marcin
Psara, Kyriaki
[J]. REVERSIBLE COMPUTATION, 2022, : 172 - 186
[4] Transformation of Usecase and Sequence Diagrams to Petri Nets
Emadi, Sima
Shams, Fereidoon
[J]. 2009 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL IV, 2009, : 399 - +
[5] Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets
Chang, Xuling
Huang, Linpeng
Hu, Jianpeng
Li, Chen
Cao, Bei
[J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 267 - 272
[6] Transformation of UML 2.0 Sequence Diagram into Coloured Petri Nets
Saputra, Aditya Bagoes
Basuki, Thomas Anung
Tirtawangsa, Jimmy
[J]. 2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA), 2014, : 243 - 248
[7] Verifying SysML activity diagrams using formal transformation to Petri nets
Huang, Edward
McGinnis, Leon F.
Mitchell, Steven W.
[J]. SYSTEMS ENGINEERING, 2020, 23 (01) : 118 - 135
[8] From Coloured Petri Nets to Object Petri Nets
Lakos, C
[J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
[9] Software Components: a Formal Semantics Based on Coloured Petri Nets
Bastide, Remi
Barboni, Eric
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 57 - 73
[10] Formal Support for QVT-Relations with Coloured Petri Nets
de Lara, Juan
Guerra, Esther
[J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5795 : 256 - +

← 1 2 3 4 5 →