Revisiting a Formal Framework for Modeling Aspects in the Design Phase

Authors:
Virginia de Paula;Thais Batista
Affiliations:
Long Island University/Brooklyn Campus, USA/ Federal University of Rio Grande do Norte, Brazil;Federal University of Rio Grande do Norte, Brazil
Venue:
EARLYASPECTS '07 Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
Year:
2007

Citing 8
Cited 0

Specification and Analysis of System Architecture Using Rapide

IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Implementing distribution and persistence aspects with aspectJ

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A formal approach to software architecture

A formal approach to software architecture
Reflections on architectural connection: seven issues on aspects and ADLs

Proceedings of the 2006 international workshop on Early aspects at ICSE
On the modular representation of architectural aspects

EWSA'06 Proceedings of the Third European conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software architecture description languages (ADLs) and formal methods have been successfully used together during the design phase allowing the semantic validation of systems early in the development process. Recently, a lot of Aspect- Oriented ADLs (AO ADLs) have been proposed however, most of them, neglects the modeling of aspect-oriented (AO) concepts using formal specification. In this paper we present AOZCL, an aspect-oriented extension to a formal framework (ZCL) with a built-in ADL. AOZCL supports the formal modeling of aspect-oriented architectures. Besides the linguistic issues, we want to carry out more rigorous analysis of the architecture and their crosscutting concerns. To analyze the components' behavior, ZCL uses state machines. We also present the states machines of components considering aspects to realize the behavioral implications of crosscutting concerns. We use a case study to illustrate the use of AOZCL as an ADL.