Aspect-oriented requirement analysis based on Formal method

Abstract

Aspect-Oriented Programming (AOP) can effectively solve the code-tangling and code-scattering which are caused by crosscutting attributes, However, much work is presented on the programming and the implementation phase, and few works have addressed the early model stages. In this paper, we do research on the requirements engineering phase of software by using AOP technology. First in the requirements analysis phase, we identified the functional requirements and non-functional requirements by the separation of concerns, then to realize the functional requirements with components and the non-functional requirements with aspects. Then we represent the components and aspects by combining with the formal language Aspect-Z which have characteristics of accurate description; As actions accompany with conflicts while two or more aspects effect on the same joint point synchronously, we propose a method to solve by defining aspects priority level.