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

On Refinement of Aspect-Oriented Programming

作　　者：谢刚 张明义[2] 杨波[3] XIE Gang;ZHANG Ming-yi;YANG Bo(School of Big Data and Computer Science,Guizhou Normal University,Guiyang 550001,China;Guizhou Academy of Sciences,Guiyang 550001,China;College of mathematics and information science,Guiyang College,Guiyang 550025,China)

机构地区：[1]贵州师范大学大数据与计算机科学学院,贵阳550001 [2]贵州科学院,贵阳550001 [3]贵阳学院数学与信息科学学院,贵阳550005

出　　处：《西南师范大学学报（自然科学版）》2018年第7期67-74,共8页Journal of Southwest China Normal University(Natural Science Edition)

基　　金：国家自然科学基金项目(61309006;61563011);贵州师范大学资助博士科研项目

摘　　要：面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了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.

关 键 词：面向方面 精化 演算 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]