资 源 简 介
Introduction
A recurring problem in software engineering is the lack of compliance between design documents and implementation artifacts. This situation can cause a detriment in the overall quality of software systems, defined in terms of non-functional requirements. The maintainability of software systems is particularly affected by this condition, specially during the system maintenance efforts.
This study proposes an approach based on Architecture Description Languages (ADL) and Aspect Oriented Programming (AOP) techniques, in order to verify if the maintainability intent for the system, as described in its architecture description, is really maintained in its associated source code. In order to do so, a set of extensions to ADL constructs is proposed to characterize the maintainability quality characteristic of software systems, and to describe the set of valid interactions between components of ADL descriptions. The use of AOP s
