Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models

  • Authors:
  • Leandro Soares Indrusiak;Manfred Glesner

  • Affiliations:
  • Technische Universität Darmstadt, Darmstadt, Germany;Technische Universität Darmstadt, Darmstadt, Germany

  • Venue:
  • Proceedings of the 20th annual conference on Integrated circuits and systems design
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

System-level specification can benefit from the feature-rich UML visual notations. However, it is necessary to integrate UML into current SoC design flows. Unlike previous approaches that relied on code generation or static analysis, this paper proposes the direct co-simulation of SoC specifications and UML sequence diagrams. In order to cope with the lack of formal execution semantics in UML sequence diagrams, we benefit from the flexibility of actor-orientation so that alternative execution semantics can be assigned to a given diagram by the designer using an extensible library of directors.