Title
A graph-transformation-based simulation approach for analysing aspect interference on shared join points
Abstract
Aspects that in isolation behave correctly, may interact when being combined. When interaction changes an aspect's behaviour or disables an aspect, we call this interference. One particular type of interference occurs when aspects are applied to shared join points, since then the ordering of the aspects can also influence the behaviour of the composition. We present an approach to detect aspect interference at shared join points. Aspect compositions are modelled by using a graph production system for modelling aspect-language semantics. A graph-based model of a join point is generated from the source-code of the system. This graph is transformed into a runtime-state representation. Combined with the production system (and the correct tooling) the execution of the aspects is simulated. This simulation results in a labelled transition system that can be used to analyse and verify different properties of the system at the join point. Simulation of the entire system can be computationally expensive. In our approach, we decide to abstract base system execution into non-deterministic valuation and carefully choosing advice semantics, such that simulation of the entire system can be avoided.
Year
DOI
Venue
2009
10.1145/1509239.1509247
Pattern Recognition
Keywords
Field
DocType
aspect-language semantics,abstract base system execution,simulation result,aspect interference,advice semantics,graph production system,labelled transition system,entire system,analysing aspect interference,production system,graph-transformation-based simulation approach,aspect composition
Transition system,Graph,Programming language,Language semantics,Computer science,Join point,Theoretical computer science,Graph rewriting,Interference (wave propagation),Valuation (finance),Semantics
Conference
Citations 
PageRank 
References 
19
0.83
11
Authors
3
Name
Order
Citations
PageRank
Mehmet Aksit11116133.23
Arend Rensink2119393.96
Tom Staijen3211.65