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

• 作者: 何成万 张进 石尤
• 来源期刊: 武汉工程大学学报
• 学科: 工学
• 关键词: 重用 面向方面编程 JML契约 契约转换
• 年，卷（期）: 2020,（4）
• 所属期刊栏目: 机电与信息工程
• 页码范围: 456-461
• 页数: 6页
• 分类号: TP311.5
• 字数: 4578字
• 语种: 中文
• DOI: 10.19843/j.cnki.CN42-1779/TQ.201912025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何成万	武汉工程大学计算机科学与工程学院	44	264	10.0	15.0
2	张进	武汉工程大学计算机科学与工程学院	3	0	0.0	0.0
3	石尤	武汉工程大学计算机科学与工程学院	1	0	0.0	0.0