Technical Report: Formal model for SECRET


Durr, Pascal and Bergmans, Lodewijk and Aksit, Mehmet (2005) Technical Report: Formal model for SECRET. [Report]

open access
Abstract:This technical report provides a formal model for detecting semantic conflicts
between aspects. The presented model abstracts from any AOP approach specifics.
In [7] we make a preliminary instantiation of this formal model for the Composition Filter approach, we do plan to extend this work with an instantiation for AspectJ. The document starts with an example of a semantic conflict, next our approach is informally explained and finally the formal model is presented.
Item Type:Report
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 228615