Semantics-Based Weaving of UML Sequence Diagrams

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:
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Year:
2008

Citing 12
Cited 3

Composition patterns: an approach to designing reusable aspects

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams

ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
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
Weaving multiple aspects in sequence diagrams

Transactions on aspect-oriented software development III
Modeling crosscutting services with UML sequence diagrams

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
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

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

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Aspect-oriented model-driven code generation: A systematic mapping study

Information and Software Technology
Confluence of aspects for sequence diagrams

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we briefly introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. Our main contribution is to weave aspects and sequence diagrams at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. To avoid the intractability of working on complete trace sets, we define a lifeline-based weaving upon trace-based equivalence classes. A major challenge is to handle unbounded loops which produce infinite trace sets. We establish a systematic way to rewrite the original loop definition so that the weaving can be performed on a finite structure. A weaving tool has been implemented to validate the approach.