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 条
  • [21] Transformation of Usecase and Sequence Diagrams to Petri Nets
    Emadi, Sima
    Shams, Fereidoon
    2009 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL IV, 2009, : 399 - +
  • [22] Compositional semantics for open Petri nets based on deterministic processes
    Baldan, P
    Corradini, A
    Ehrig, H
    Heckel, R
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2005, 15 (01) : 1 - 35
  • [23] Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets
    Kristian Bisgaard Lassen
    Simon Tjell
    Innovations in Systems and Software Engineering, 2008, 4 (3)
  • [24] Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets
    Lassen, Kristian Bisgaard
    Tjell, Simon
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (03) : 233 - 240
  • [25] Semantics-based weaving of UML sequence diagrams
    Gronmo, Roy
    Sorensen, Fredrik
    Moller-Pedersen, Birger
    Krogdahl, Stein
    THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, 2008, 5063 : 122 - 136
  • [26] On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation using Isabelle/HOL
    Meghzili, Said
    Chaoui, Allaoua
    Strecker, Martin
    Kerkouche, Elhillali
    2017 IEEE 18TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI 2017), 2017, : 419 - 426
  • [27] A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
    Faria, Joao Pascoal
    Paiva, Ana C. R.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (03) : 285 - 304
  • [28] Object Petri nets marking using UML
    Bouabana-Tebibel, Thouraya
    Meziani, Lila
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2013, 47 (2-3) : 162 - 171
  • [29] A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
    João Pascoal Faria
    Ana C. R. Paiva
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 285 - 304
  • [30] Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets
    Staines, Tony Spiteri
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 191 - 200
12345