A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol

Authors:
Roy Grønmo;Fredrik Sørensen;Birger Møller-Pedersen;Stein Krogdahl
Affiliations:
Dept. of Informatics, Univ. of Oslo, Norway and SINTEF ICT, Norway;Dept. of Informatics, Univ. of Oslo, Norway;Dept. of Informatics, Univ. of Oslo, Norway;Dept. of Informatics, Univ. of Oslo, Norway
Venue:
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Year:
2008

Citing 11
Cited 2

From MSCs to statecharts

DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development

COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Semantic-based weaving of scenarios

Proceedings of the 5th international conference on Aspect-oriented software development
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Refining UML interactions with underspecification and nondeterminism

Nordic Journal of Computing
Test Synthesis from UML Models of Distributed Software

IEEE Transactions on Software Engineering
Making trace monitors feasible

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Semantics-Based Weaving of UML Sequence Diagrams

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Weaving multiple aspects in sequence diagrams

Transactions on aspect-oriented software development III
Model composition in product lines and feature interaction detection using critical pair analysis

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

From sequence diagrams to state machines by graph transformation

ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Confluence of aspects for sequence diagrams

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this paper we introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. The aspects and sequence diagrams are woven at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. We propose the arbitrary events symbolas a wildcard mechanism to express zero or more events on a sequence diagram lifeline. The approach is explained by a real-life example, and a weaving tool partially implements the approach.