基于AOP的契约定义及其与JML契约的转换  

AOP Contracts Definition and Its Conversion to JML Contracts

作　　者：张进 何成万[1] 石尤 ZHANG Jin;HE Chengwan;SHI You(School of Computer Science and Engineering,Wuhan Institute of Technology,Wuhan 430205,China)

机构地区：[1]武汉工程大学计算机科学与工程学院,湖北武汉430205

出　　处：《武汉工程大学学报》2020年第4期456-461,共6页Journal of Wuhan Institute of Technology

摘　　要：为了解决在使用基于Java建模语言(JML)契约的过程中存在维护困难、契约不能重用等问题,提出了一种JML契约与基于面向方面编程(AOP)的契约转换方法。首先给出了基于AOP的契约定义方法,并在分析JML和AOP语言的语法规则基础上,提出了AOP契约和JML契约之间的转换策略,为进一步实现基于AOP的契约到JML契约的自动转换奠定了基础。通过JML契约到AOP契约的转换,可以方便地实现契约的维护,而通过AOP契约到JML契约的转换,可以实现契约的重用以及自动检查。To solve the maintenance and reusability problems of Java Modeling Language(JML)contracts,we proposed a conversion method between JML contracts and aspect-oriented programming(AOP)contracts. First,the method of specific definition for AOP-based contracts was presented,and then a conversion strategy between AOP contracts and JML contracts was proposed by analyzing the syntax rules of both languages of JML and AOP,which lays a foundation for further improving the automatic conversion from AOP-based contracts to JML contracts. By the conversion from JML contracts to AOP contracts,the maintenance of contracts can be easily achieved,and the reusability and automatic checking of contracts can be implemented through the conversion from AOP contracts to JML contracts.

关 键 词：重用 面向方面编程 JML契约 契约转换 

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