EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

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

- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
365 Kb

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

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:	statistics metis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item