Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

10227 Formal model for SECRET
Home Policy Brochure Browse Search User Area Contact Help

Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2005) Formal model for SECRET. Technical Report TR-CTIT-05-74, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Full text available as:


365 Kb
Open Access

Official URL:

Exported to Metis


This technical report provides a formal model for detecting semantic conflicts between aspects. The presented model abstracts from any AOP approach specifics. In 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:Internal Report (Technical Report)
Research Group:EWI-SE: Software Engineering
Research Program:CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Research Project:ESI/IDEALS: Idiom Design for Embedded Applications on Large Scale
ID Code:10227
Deposited On:07 June 2007
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item