Compositional semantics for UML 2.0 sequence diagrams using petri nets

  • Authors:

  • Christoph Eichner;Hans Fleischhack;Roland Meyer;Ulrik Schrimpf;Christian Stehno

  • Affiliations:

  • Parallel Systems Group, Department for Computing Science, Carl von Ossietzky Universität, Oldenburg, Germany;Parallel Systems Group, Department for Computing Science, Carl von Ossietzky Universität, Oldenburg, Germany;Parallel Systems Group, Department for Computing Science, Carl von Ossietzky Universität, Oldenburg, Germany;Parallel Systems Group, Department for Computing Science, Carl von Ossietzky Universität, Oldenburg, Germany;Parallel Systems Group, Department for Computing Science, Carl von Ossietzky Universität, Oldenburg, Germany

  • Venue:
  • SDL'05 Proceedings of the 12th international conference on Model Driven
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.