St. John’s, Newfoundland Title: Detecting Concern Interactions in Aspect-Oriented Designs

• Main Authors: Pouria Shaker, B. Eng, Supervisor Dr, Dennis K. Peters
• Other Authors: The Pennsylvania State University CiteSeerX Archives
• Format: Text
• Language: English
• Subjects: Newfoundland
• Online Access: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.5015; http://www.engr.mun.ca/%7Edpeters/papers/PouriaShakerMEng.pdf

Aspect-Oriented Software Development (AOSD) is an emerging paradigm that addresses the limitation of Object-Oriented (OO) technology in localizing crosscutting concerns (e.g. logging, tracing, etc.) by introducing a new modularization mechanism: the aspect. Aspects localize the behaviour of crosscutting concerns (called advice) and specify points in the structure or execution trace of the core system (called join points) where advice applies. A weaving mechanism interleaves the execution of the aspects and the core. The behaviour of an Aspect-Oriented (AO) system is the woven behaviour of the aspects and the core; this woven behaviour may reveal conflicts in the goals of system concerns (core or crosscutting): such conflicts are called concern interactions. In this thesis, we present a process for detecting concern interactions in AO designs expressed in the UML and our weaving rule specification language (WRL). The process consists of two tasks: 1) a light-weight syntactic analysis of the AO model to reveal advice overlaps (e.g. instances where multiple advice applies to the same join point) as potential sources of interaction and 2) verification of desired i 0. Abstract ii