Academic Journals Database
Disseminating quality controlled scientific knowledge

Formal Models for Architecture Aspects and Their Weaving

Author(s): Chunhua Yang | Haiyang Wang

Journal: Journal of Software
ISSN 1796-217X

Volume: 3;
Issue: 9;
Start page: 52;
Date: 2008;
Original page

Keywords: formal methods | aspect architecture | aspect weaving | aspect oriented software development | aspect oriented modeling | process algebra

Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists no strict model for aspects and their weaving, which makes it difficult for analyzing and reasoning about the semantic problems introduced in the composition of the aspects and the base system. We present a formal model to specify architecture aspects. Its underlying formalism is Process Algebra. In the model, an aspect is specified as an extended architecture model, in which aspect components encapsulate the function of the aspect while aspect connectors encapsulate the weaving logics of the aspect. The separation of weaving logics can promote reuse. Then, we give a formal definition for aspect weaving. The definition builds the structural and behavioral relationship between the woven and wove models, which lays foundations for future semantic analysis and reasoning. An example illustrates the notions and models.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions