Detection of interaction among aspects using graphical notation

Aspect Interaction (AI) in Aspect-Oriented Software Development (AOSD) plays a crucial role in the stability of the developed product due to its impact in deciding how independently built software modules may cooperate and interact to deliver a service. The AI comes into play when the modules are woven together. We analyze some of the new graphical mechanisms that have a one-to-many map between the pointcut elements and the joinpoint elements in AOSD. We propose a modular approach that uses Critical Pair Analysis in the Graph Transformation (GT) to detect potential syntactic interaction among aspects in different graphical joinpoint models such as JPDD.

[1]  Tzilla Elrad,et al.  Joinpoint Inference from Behavioral Specification to Implementation , 2007, ECOOP.

[2]  Stefan Hanenberg,et al.  From aspect-oriented design to aspect-oriented programs: tool-supported translation of JPDDs into code , 2007, AOSD.

[3]  Pamela Zave,et al.  Feature interactions and formal specifications in telecommunications , 1993, Computer.

[4]  Jon Whittle,et al.  Model composition in product lines and feature interaction detection using critical pair analysis , 2007, MODELS'07.

[5]  Zaid Altahat,et al.  Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams , 2008, SEKE.

[6]  Zaid Altahat,et al.  Detection and Verification of Semantic Interaction In AOSD , 2009, 2009 Sixth International Conference on Information Technology: New Generations.

[7]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[8]  Antti-Pekka Tuovinen,et al.  Experiences in Modelling Feature Interactions with Coloured Petri Nets , 2002, Acta Cybern..

[9]  Farida Mostefaoui,et al.  Design-Level Detection of Interactions in Aspect-UML Models Using Alloy , 2007, J. Object Technol..

[10]  Jeffrey G. Gray,et al.  Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver , 2007, J. Object Technol..

[11]  Stefan Hanenberg,et al.  A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models , 2004, MDAFA.

[12]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.