Specifing and Verifing Aspect-Oriented Systems in Rewriting Logic

Provided by: RWSoftware
Topic: Software
Format: PDF
Aspect-Oriented (AO) systems have to deal with an important problem which is the management of aspect interaction. In this paper, the authors introduce a first tool, known as AO-Maude, which is based on Maude language for the specification and the verification of the AO systems. The proposed tool relies on the reflection feature of rewriting logic that allows the user to represent in the Meta-Level the structure of the base system, aspects and the weaver mechanism.

Find By Topic