Formal model for SECRET

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

    Research output: Book/ReportReportProfessional

    30 Downloads (Pure)


    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 languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages11
    Publication statusPublished - 16 Dec 2005

    Publication series

    NameCTIT technical report series


    • METIS-228615
    • EWI-10227
    • IR-54436

    Cite this