A Graph-Transformation-Based Semantics for Analysing Aspect Interference


Staijen, T. and Rensink, A. (2006) A Graph-Transformation-Based Semantics for Analysing Aspect Interference. In: Workshop on Graph Computation Models, 18 Sept 2006, Natal, Brazil (pp. pp. 1-12).

open access
Abstract:AOP is widely accepted as a language concept to improve separation of concerns. However, the separate development of aspects may introduce semantic problems in the composition of the aspects and the base system. We propose a modular and graph-based verification approach. An aspect-oriented program is represented by a graph. A graph production system specifying the semantics of the language allows us to generate a transition system of the execution of the program. This can be used to analyse and verify different properties of the system. We show that, currently, it allows the detection of semantic differences between advice orderings on shared joinpoints, which is one of the semantic problems referred to above.
Item Type:Conference or Workshop Item
Additional information:Website workshop: http://www.labri.fr/perso/mosbah/GCM2006.html A satellite event of ICGT 2006: http://www.dimap.ufrn.br/icgt2006/
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66877
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page