Cristin-resultat-ID: 1094999
Sist endret: 28. januar 2014, 13:21
NVI-rapporteringsår: 2013
Resultat
Vitenskapelig artikkel
2013

Confluence of aspects for sequence diagrams

Bidragsytere:
  • Roy Grønmo
  • Ragnhild Kobro Runde og
  • Birger Møller-Pedersen

Tidsskrift

Software and Systems Modeling (SoSyM)
ISSN 1619-1366
e-ISSN 1619-1374
NVI-nivå 2

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2013
Volum: 12
Hefte: 4
Sider: 789 - 824

Importkilder

Scopus-ID: 2-s2.0-84886284631
Isi-ID: 000326095600009

Beskrivelse Beskrivelse

Tittel

Confluence of aspects for sequence diagrams

Sammendrag

The last decade has seen several aspect language proposals for UML 2 sequence diagrams. Aspects allow the modeler to define crosscutting concerns of sequence diagrams and to have these woven with the sequence diagrams of a so-called base model, in order to create a woven model. In a real-world scenario, there may be multiple aspects applicable to the same base model. This raises the need to analyse the set of aspects to identify possible aspect interactions (dependencies and conflicts) between applications of aspects. We call a set of aspects terminating if they may not be applied infinitely many times for any given base model. Furthermore, we call a set of terminating aspects confluent, if they, for any given base model, always yield the same final result regardless of the order in which they are applied. Since confluence must hold for any base model, this is a much stronger result than many of the current approaches that have addressed detection of aspect interactions limited to a specific base model. Our aspects are specified using standard sequence diagrams with some extensions. In this paper, we present a confluence theory specialized for our highly expressive aspect language. For the most expressive aspects, we prove that confluence is undecidable. For another class of aspects with considerable expressiveness, we prescribe an algorithm to check confluence. This algorithm is based on what we call an extended critical pair analysis. These results are useful both for modelers and researchers working with sequence diagram aspects and for researchers wanting to establish a confluence theory for other aspect-oriented modelling or model transformation approaches.

Bidragsytere

Roy Grønmo

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS

Ragnhild Kobro Runde

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo

Birger Møller-Pedersen

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
1 - 3 av 3