Formal model for SECRET
| Autor: | Durr, P.E.A., Bergmans, Lodewijk, Aksit, Mehmet |
|---|---|
| Rok vydání: | 2005 |
| Předmět: | |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|