Skip to Main content Skip to Navigation
Conference papers

CompAr: Ensuring Safe Around Advice Composition

Renaud Pawlak 1 Laurence Duchien 1, 2 Lionel Seinturier 3, 1, 2
1 JACQUARD - Weaving of Software Components
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
3 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00446489
Contributor : Lionel Seinturier <>
Submitted on : Tuesday, January 12, 2010 - 9:32:04 PM
Last modification on : Friday, January 8, 2021 - 5:46:03 PM
Long-term archiving on: : Friday, June 18, 2010 - 12:46:01 AM

File

fmoods.pdf
Files produced by the author(s)

Identifiers

Citation

Renaud Pawlak, Laurence Duchien, Lionel Seinturier. CompAr: Ensuring Safe Around Advice Composition. 7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOD'05), Jun 2005, Athens, Greece. pp.163-178, ⟨10.1007/11494881_11⟩. ⟨inria-00446489⟩

Share

Metrics

Record views

308

Files downloads

434