Traditional software development method will bring code tangling, code scattered and many other issues. Aspect-oriented programming came into being under this circumstance. AOP is a new programming paradigm which is independent of all the other programming languages. The scale and complexity of software systems increase continually. Efficiently control the complexity of software systems has already become a vitally important issue which needs to be addressed. In the modular design and implementation of software, cross cut always arise between primary functional modules and non-functional modules. This paper proposes a method to model and verify an UML activity diagram based aspect-oriented programming which enhance the capability of dealing with non-function requirements.
展开▼
