Compositional semantics for UML 2.0 sequence diagrams using Petri nets

被引：0

作者：

Eichner, C ^{[1
]}

Fleischhack, H ^{[1
]}

Meyer, R ^{[1
]}

Schrimpf, U ^{[1
]}

Stehno, C ^{[1
]}

机构：

[1] Carl von Ossietzky Univ Oldenburg, Dept Comp Sci, Parallel Syst Grp, D-26111 Oldenburg, Germany

来源：

SDL 2005: MODEL DRIVEN, PROCEEDINGS | 2005年 / 3530卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

With the introduction of UML 2.0, many improvements to diagrams have been incorporated into the language. Some of the major changes were applied to sequence diagrams, which were enhanced with most of the concepts from ITU-T's Message Sequence Charts, and more. In this paper, we introduce a formal semantics for most concepts of sequence diagrams by means of Petri nets as a formal model. Thus, we are able to express the partially ordered and concurrent behaviour of the diagrams natively within the model. Moreover, the use of coloured high-level Petri nets allows a comprehensive and efficient structure for data types and control elements. The proposed semantics is defined compositionally, based on basic Petri net composition operations.

引用

页码：133 / 148

页数：16

共 50 条

[41] Compositional semantics for diagrams using constrained objects
Jayaraman, B
Tambay, P
DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2002, 2317 : 94 - 96
[42] Software performance modeling using UML and Petri nets
Merseguer, J
Campos, J
PERFORMANCE TOOLS AND APPLICATIONS TO NETWORKED SYSTEMS, 2004, 2965 : 265 - 289
[43] Formal semantics of UML 2.0
School of Computer Science and Technology, Soochow University, Suzhou 215006, China
不详
不详
Nanjing Youdian Daxue Xuebao (Ziran Kexue Ban), 2007, 3 (39-43):
[44] Semantics of interactions in UML 2.0
Störrle, H
200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 129 - 136
[45] An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations
Messaoudi, Nabil
Chaoui, Allaoua
Bettaz, Mohamed
10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 604 - 611
[46] On execution semantics of UML statechart diagrams using the π-calculus
Lam, VSW
Padget, J
SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 877 - 882
[47] Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
Louati, Aymen
Barkaoui, Kamel
INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS IN THE SERVICE SECTOR, 2016, 8 (02) : 87 - 97
[48] Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams
Pels, Henk Jan
ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: COMPETITIVE MANUFACTURING FOR INNOVATIVE PRODUCTS AND SERVICES, AMPS 2012, PT II, 2013, 398 : 144 - 151
[49] Using UML 2.0 collaborations for compositional service specification
Sanders, RT
Castejón, HN
Kraemer, FA
Bræk, R
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 460 - 475
[50] A GRAPH TRANSFORMATION APPROACH FOR MODELING AND VERIFICATION OF UML 2.0 SEQUENCE DIAGRAMS
Hamrouche, Houda
Chaoui, Allaoua
Mazouzi, Smaine
COMPUTING AND INFORMATICS, 2022, 41 (05) : 1284 - 1309

← 1 2 3 4 5 →