Analysis and Composition of Multiple Aspects in Aspect Oriented Programs

Muhammad Nafees Qamar 1
1 VASCO
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.
Type de document :
Communication dans un congrès
16th IEEE Asia-Pacific Software Engineering Conference, 2009, Unknown, IEEE Computer Society, pp.223-230, 2009, 〈10.1109/APSEC.2009.36〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00953589
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 13:54:28
Dernière modification le : jeudi 11 janvier 2018 - 02:06:00

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

43