EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

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:

PDF

365 Kb
Open Access



Official URL: http://trese.cs.utwente.nl/publications/files/0393TechincalReportDurr12_2005.pdf

Exported to Metis

Abstract

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
International:Yes
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item