Skip to Main content Skip to Navigation
Conference papers

Analysis and Composition of Multiple Aspects in Aspect Oriented Programs

Muhammad Nafees Qamar 1
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper presents a classification of widely studied approaches that focus interaction analysis and composition of multiple aspect(s) in aspect-oriented programs (AOP). It is evident that AOP has an ability to distort semantics of base-programs and aspects themselves due to advice-method or advice-advice interactions in terms of control flow and data sharing features. Thus, it entails a comprehensive analysis in order to pinpoint ambiguities at semantic level; especially in case of multiple aspects that remains focus of this paper. One possible interaction (method-advice) may inviolate a predicate of another advice from another aspect, residing in the base-program. We narrow our analysis to understand such intricacies and present a bunch of rules to understand weaving semantics (in particular, advice-advice interaction from two different aspects) and also propose precedence laws for aspects to be woven. In this paper discrete computation of aspects using operational semantics enables better interaction analysis of aspects and specifying their behavior by excluding the dependencies of any specific AOP language implementation. The contributions are threefold: (1) a survey based on an informal classification of proposed approaches targeted towards interfering aspects (2) our proposed formal definitions for composing aspects through evaluation rules using operational semantics (3) addressing precedence issues in aspects to some degree and offering a preliminary solution based on proactive execution order of aspects.
Document type :
Conference papers
Complete list of metadata
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 1:54:28 PM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM




Muhammad Nafees Qamar. Analysis and Composition of Multiple Aspects in Aspect Oriented Programs. 16th IEEE Asia-Pacific Software Engineering Conference, 2009, Unknown, pp.223-230, ⟨10.1109/APSEC.2009.36⟩. ⟨hal-00953589⟩



Record views