Semantics Preservation of Sequence Diagram Aspects

Authors:
Jon Oldevik;Øystein Haugen
Affiliations:
Department of Informatics, University of Oslo, and SINTEF Information and Communication Technology, , Oslo, Norway;SINTEF Information and Communication Technology, , Oslo, Norway and Department of Informatics, University of Oslo,
Venue:
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Year:
2008

Citing 16
Cited 0

Subject-oriented programming: a critique of pure objects

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Aspect-oriented programming

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Composition patterns: an approach to designing reusable aspects

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Composing crosscutting concerns using composition filters

Communications of the ACM
A UML-based aspect-oriented design notation for AspectJ

AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Consistency-Preserving Model Evolution through Transformations

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A UML-Based Pattern Specification Technique

IEEE Transactions on Software Engineering
Theme: An Approach for Aspect-Oriented Analysis and Design

Proceedings of the 26th International Conference on Software Engineering
Modeling and Composing Scenario-Based Requirements with Aspects

RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Aspect-Oriented Analysis and Design

Aspect-Oriented Analysis and Design
Semantic-based weaving of scenarios

Proceedings of the 5th international conference on Aspect-oriented software development
A graphical approach to prove the semantic preservation of UML/OCL refactoring rules

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Weaving multiple aspects in sequence diagrams

Transactions on aspect-oriented software development III
Verifying scenario-based aspect specifications

FM'05 Proceedings of the 2005 international conference on Formal Methods
Decomposing interactions

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Architectural aspects in UML

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Although some techniques for aspect oriented modelling focus on semantic-based composition, there has been a general lack of focus on how to preserve semantics. We address semantics preservation in the context of sequence diagram aspects. We define semantics preservation based on two properties: monotonicity of aspect composition with respect to refinement, and preservation of events in the composed result. We analyse and compare existing sequence diagram aspect techniques with respect to semantics preservation and find that both syntactic based and semantic based aspect weaving techniques have serious challenges to meet semantics preservation.