Technical Report: Formal model for SECRET

Share/Save/Bookmark

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

open access
[img]
Preview
PDF
310kB
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/54436
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 228615