CompAr: ensuring safe around advice composition

Authors:
Renaud Pawlak;Laurence Duchien;Lionel Seinturier
Affiliations:
INRIA Futurs-Jacquard, Université de Lille, Villeneuve d'Ascq, France;INRIA Futurs-Jacquard, Université de Lille, Villeneuve d'Ascq, France;INRIA, Université de Paris 6, LIP6, Paris, France
Venue:
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Year:
2005

Citing 12
Cited 11

On the criteria to be used in decomposing systems into modules

Communications of the ACM
Using multidimensional separation of concerns to (re)shape evolving software

Communications of the ACM
Composing crosscutting concerns using composition filters

Communications of the ACM
Getting started with ASPECTJ

Communications of the ACM
A semantical approach to method-call interception

AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
A Discipline of Programming

A Discipline of Programming
Architectural views of aspects

Proceedings of the 2nd international conference on Aspect-oriented software development
Conquering aspects with Caesar

Proceedings of the 2nd international conference on Aspect-oriented software development
Just-in-time aspects: efficient dynamic weaving for Java

Proceedings of the 2nd international conference on Aspect-oriented software development
An Automatic Aspect Weaver with a Reflective Programming Language

Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
JAC: A Flexible Solution for Aspect-Oriented Programming in Java

REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Composition, reuse and interaction analysis of stateful aspects

Proceedings of the 3rd international conference on Aspect-oriented software development

Expert in conflicts

Expert Systems with Applications: An International Journal
A graph-transformation-based simulation approach for analysing aspect interference on shared join points

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Formal analysis tools for the synchronous aspect language Larissa

EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Aspects, Dependencies and Interactions

Object-Oriented Technology. ECOOP 2008 Workshop Reader
A semantic composition model to preserve (re) configuration consistency in aspect oriented middleware

Proceedings of the 8th International Workshop on Adaptive and Reflective MIddleware
Composing aspects with aspects

Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Managing concern interactions in middleware

DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Practical conflict resolution for the composition of program transformations

SC'08 Proceedings of the 7th international conference on Software composition
Detecting interferences in aspect oriented programs

EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Harmless compiler plugins

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Rigorous fault tolerance using aspects and formal methods

Rigorous Development of Complex Fault-Tolerant Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Advanced techniques in separation of concerns such as Aspect-Oriented Programming, help to develop more maintainable and more efficient applications by providing means for modularizing crosscutting concerns. However, conflicts may appear when several concerns need to be composed for the same application, especially when dealing with around advice. We call this problem the Aspect Composition Issue (ACI). Based on our experience in programming aspects, this paper presents a language called CompAr, which allows the programmer to abstractly define an execution domain, the advice codes, and their execution constraints. The CompAr compiler then evaluates the definitions in order to check if the execution constraints are fulfilled. Using a concrete AOP case study, we show how to use the CompAr language in order to detect and avoid ACIs.