Weaving Multiple Aspects in Sequence Diagrams

Abstract : Handling aspects within models looks promising for managing crosscutting concerns early in the software life-cycle, up from programming to design, analysis and even requirements. At the modeling level, even complex behavioral aspects can easily be described for instance as pairs of sequence diagrams: one for the pointcut specifying the behavior to detect, and the second one for an advice representing the wanted behavior at the join point. While this is fine for informal documentation purposes, or even intuitive enough when a single aspect has to be woven, a more precise semantics of both join point detection and advice weaving is needed for using these modeling artifacts for Model Driven Engineering activities such as code generation or test synthesis. This paper proposes various interpretations for pointcuts that allow multiple behavioral aspects to be statically woven. The idea is to allow join points to match a pointcut even when some extra-messages occur in between. However, with this new way of specifying join points, the composition of the advice with the detected part cannot any longer be just a replacement of the detected part by the advice. We have to consider the events (or the messages) of the join point, but also the events which occur between them, and merge them with the behavior specified within the advice. We thus also propose a formal definition of a new merge operator, and describe its implementation on the Kermeta platform.
Type de document :
Article dans une revue
Transactions on Aspect-Oriented Software Development (TAOSD), Springer, 2007, LNCS 4620, pp.167-199
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00505223
Contributeur : Didier Vojtisek <>
Soumis le : vendredi 23 juillet 2010 - 09:26:44
Dernière modification le : mercredi 11 avril 2018 - 01:53:48
Document(s) archivé(s) le : lundi 25 octobre 2010 - 12:11:31

Fichier

Klein07a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00505223, version 1

Citation

Jacques Klein, Franck Fleurey, Jean-Marc Jézéquel. Weaving Multiple Aspects in Sequence Diagrams. Transactions on Aspect-Oriented Software Development (TAOSD), Springer, 2007, LNCS 4620, pp.167-199. 〈inria-00505223〉

Partager

Métriques

Consultations de la notice

366

Téléchargements de fichiers

164