Trustworthy Mechanism Based On Aspect Concept

Aspect-oriented software development(AOSD) has been developed for supporting a long-standing idea of Separation of Concerns(So C) and enhancing software nonfunctional attributes including modularity, reusability, and maintainability. Credibility as one of the non-functional requirements is a significant feature of a software system.Trustworthy attributes, which are typical crosscutting concerns, are the concrete attributes of credibility in a system. These trustworthy attributes are scattering and tangling with core functions, which affect the modularity, scalability, maintainability of a software system and also the analysis process and verification computing of a system.This thesis tries to introduce aspect-oriented concepts into system architecture description, which aims to resolve the crosscutting concern problems in system architecture and improve the credibility of the system. In order to represent the AOSD in architecture level, we create an ARM meta-model, which is a general aspect representation meta-model in architecture description. To support the evolution of the architecture, this thesis provides a graph grammar – Extended Breeze Graph Grammar(EBGG), to describe the software architecture in terms of graphs. This graph grammar is the basis for architecture evolution and verification operations. Based on EBGG, the architecture change is implemented by applying the EBGG production transformation rules. In this thesis, we further extend Breeze/ADL, an XML based architecture description language, to Aspect Breeze. Aspect Breeze uses Breeze/ADL to describe the behaviors of the main logic function, and ARM meta-model to define the crosscutting concerns of a system. And also allow the aspects to be seamlessly woven into the base architecture and keep the consistency between the aspects and base elements during the evolution of the architecture.Our main contributions in this paper are as follows:1. It introduces AOSD into architecture description, and describes a solution todefine trustworthy attributes by using aspect-oriented mechanism.2. It presents a general ARM meta-model to describe aspects in architecture de-scription. And also presents an approach to weaving aspects into the base archi-tectures and maintain the consistency between the architectures before and afterweaving of aspect.3. It defines a graph grammar – EBGG to support the evolution of aspects and basearchitecture.4. It extends Breeze/ADL with ARM meta-model, to Aspect Breeze, which is anaspect-oriented architecture description language.