面向方面程序的精化演算框架

On Refinement of Aspect-Oriented Programming

面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.

AOP is gaining momentum and pervading more and more phases and parts of software engineering,and the refinement calculus has been widely applied to all kinds of program design in order to eliminate inaccuracies in the development process.A framework of aspect-oriented refinement is defined using refinement calculus and the unifying theories of programming in the paper.Firstly,the refinement of aspect-oriented program is defined in the framework.Based on this,the twelve sound refinement rules are proposed.And finally,our framework is demonstrated with a case study.