Behavior Consistency Verification for Evolution of Aspectual Component-based Software

Abstract

Abstract. Aspect-Oriented Software Architecture (AOA) is a high-level abstraction and integration blueprint of aspectual component-based software. A semantic model of aspectual component-based software is proposed to provide behavior description and semantic foundation for the consistency verification of software architecture dynamic evolution. By using the semantic model of Pi-calculus, a set of the consistency verification methods of dynamic evolution from multiple aspects are introduced. Finally, a case study shows the effect of these methods. IntroductionIn the open and dynamic environment of Internet, the modification of distributed architectural objects is directly reflected in the evolution of system. The software dynamic evolution helps to improve system's adaptability and flexibility, to extend the lifetime of system and to improve the expansibility of system [1]. Aspect-oriented method is unifying the decentralized public code crosscutting in other function modules to form aspect to achieve the absolute separation of system concerns .At the meantime, using weaving mechanism can weave aspects into the component system according to the need, and form aspectual component-based system [2]. The dynamic evolution of aspectual component-based system is a complicated process. Interface behavior incompatibility, the change of unobservable internal behavior and replacing, adding or deleting component may result in system's function behaviors straying from the original system. For aspectual component, the special consideration is whether the semantic of pointcuts is changed and resulting in the change of system behavior. In order to solve the above problems in the case of non-stop and confirm whether the evolution is reasonable and correct, we verify the behavior consistency of aspectual component dynamic evolution using Pi-calculus and Delta analysis.