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

作者：张进; 何成万^*; 石尤

来源：武汉工程大学学报, 2020, 42(04): 456-461.

DOI：10.19843/j.cnki.cn42-1779/tq.201912025

• 重用
• 面向方面编程
• JML契约
• 契约转换

为了解决在使用基于Java建模语言(JML)契约的过程中存在维护困难、契约不能重用等问题,提出了一种JML契约与基于面向方面编程(AOP)的契约转换方法。首先给出了基于AOP的契约定义方法,并在分析JML和AOP语言的语法规则基础上,提出了AOP契约和JML契约之间的转换策略,为进一步实现基于AOP的契约到JML契约的自动转换奠定了基础。通过JML契约到AOP契约的转换,可以方便地实现契约的维护,而通过AOP契约到JML契约的转换,可以实现契约的重用以及自动检查。

• 单位
  武汉工程大学