Formal model for SECRET

P.E.A. Durr; Lodewijk Bergmans; Mehmet Aksit

Formal model for SECRET

P.E.A. Durr
, Lodewijk Bergmans
, Mehmet Aksit

Research output: Book/Report › Report › Professional

82 Downloads (Pure)

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.

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	11
Publication status	Published - 16 Dec 2005

Publication series

Name	CTIT technical report series

Keywords

METIS-228615
EWI-10227
IR-54436

Access to Document

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

Cite this

@book{4edd22efe394446d95526779f13fb61a,

title = "Formal model for SECRET",

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.",

keywords = "METIS-228615, EWI-10227, IR-54436",

author = "P.E.A. Durr and Lodewijk Bergmans and Mehmet Aksit",

year = "2005",

month = dec,

day = "16",

language = "Undefined",

series = "CTIT technical report series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

address = "Netherlands",

}

TY - BOOK

T1 - Formal model for SECRET

AU - Durr, P.E.A.

AU - Bergmans, Lodewijk

AU - Aksit, Mehmet

PY - 2005/12/16

Y1 - 2005/12/16

N2 - 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.

AB - 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.

KW - METIS-228615

KW - EWI-10227

KW - IR-54436

M3 - Report

T3 - CTIT technical report series

BT - Formal model for SECRET

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -