|本期目录/Table of Contents|

[1]张　进,何成万*,石　尤.基于AOP的契约定义及其与JML契约的转换[J].武汉工程大学学报,2020,42(04):456-461.[doi:10.19843/j.cnki.CN42-1779/TQ.201912025]
　ZHANG Jin,HE Chengwan,SHI You.AOP Contracts Definition and Its Conversion to JML Contracts[J].Journal of Wuhan Institute of Technology,2020,42(04):456-461.[doi:10.19843/j.cnki.CN42-1779/TQ.201912025]
点击复制

基于AOP的契约定义及其与JML契约的转换(/HTML)
分享到：

《武汉工程大学学报》[ISSN:1674-2869/CN:42-1779/TQ]

卷:
42
期数:
2020年04期
页码:
456-461
栏目:
机电与信息工程
出版日期:
2021-01-28

文章信息/Info

Title:
AOP Contracts Definition and Its Conversion to JML Contracts
文章编号:
1674 - 2869（2020）04 - 0456 - 06
作者:
张　进; 何成万*; 石　尤
武汉工程大学计算机科学与工程学院，湖北 武汉 430205
Author(s):
ZHANG Jin;  HE Chengwan;  SHI You
School of Computer Science and Engineering， Wuhan Institute of Technology， Wuhan 430205， China
关键词:
重用; 面向方面编程; JML契约; 契约转换
Keywords:
reusability;  aspect-oriented programming;  JML contract;  contract conversion
分类号:
TP311.5
DOI:
10.19843/j.cnki.CN42-1779/TQ.201912025
文献标志码:
A
摘要:
为了解决在使用基于Java建模语言（JML）契约的过程中存在维护困难、契约不能重用等问题，提出了一种JML契约与基于面向方面编程（AOP）的契约转换方法。首先给出了基于AOP的契约定义方法，并在分析JML和AOP语言的语法规则基础上，提出了AOP契约和JML契约之间的转换策略，为进一步实现基于AOP的契约到JML契约的自动转换奠定了基础。通过JML契约到AOP契约的转换，可以方便地实现契约的维护，而通过AOP契约到JML契约的转换，可以实现契约的重用以及自动检查。
Abstract:
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.

参考文献/References:

［1］　RUBIO-MEDRANO C E， AHN G J， SOHR K.Verifying access control properties with design bycontract：framework and lessons learned［C］// IEEE Computer Society. Kyoto：IEEE，2013：21-26.［2］　REB?LO H，LEAVENS G T ，BAGHERZADEM， et al. AspectJML： modular specification and runtime checking for crosscutting contracts［C］//International Conference on Modularity. New York: ACM，2014：157-168.［3］　REB?LO H， LIMA R ， LEAVENS G T ， et al. Optimizing generated aspect-oriented assertion checking code for JML using program transformations： An empirical study［J］. Science of Computer Programming，2013，78（8）：1137- 1156. ［4］　徐承志，张国玉. 基于角色划分的AOP设计模式研究［J］. 自动化技术与应用， 2019（8）：59-64. ［5］　张秀峰. AOP技术及其在软件安全中的应用［D］. 北京：北京邮电大学，2008. ［6］　江华丽. 基于AOP策略模式的实现机制［J］. 微型机与应用，2016，35（1）：9-11. ［7］　张峻豪，陈媛，王俊杰，等. 基于AOP的面向对象程序的单元测试的应用［J］. 电子技术与软件工程，2017（9）：51-57. ［8］　REB?LO H，SOARES S，LIMA R. et al. Implementing Java modeling language contracts with AspectJ［C］//Symposium on Applied Computing. New York： ACM， 2008：228-233.［9］　SMITH D R. Aspects as invariants［M］. Berlin：Springer Netherlands， 2008：247-263. ［10］　CARR S A ， LOGOZZO F ， PAYER M . Automatic Contract Insertion with CCBot［J］. IEEE Transactions on Software Engineering， 2017， 43（8）：701-714. ［11］　徐倩颖，杨宗源. 面向方面编程的一种新型设计模式［J］. 华东师范大学学报（自然科学版），2008（1）：68-74. ［12］　HANNOUSSE A. Dealing with crosscutting and dynamic features in component software using aspect-orientation： requirements and experiences［J］. IET Software，2019，13（5）：434-446. ［13］　何成万，叶志鹏. 基于AOP和动态污点分析的SQL注入行为检测方法［J］. 电子学报，2019，47（11）：2413-2419. ［14］　VASSALLO C， PANICHELLA S， PALOMBA F， et al. How developers engage with static analysis tools in different contexts［J］. Empirical Software Engineering，2019，25（12）：1419-1457. ［15］　崔少轩，喻垚慎. 静态程序分析过程中形式化验证工具Frama-C的应用［J］. 计算技术与自动化，2019，38（1）：114-117.

相似文献/References:

[1]叶志鹏,何成万*,张峥峰.基于AOP的Web应用程序的安全会话管理[J].武汉工程大学学报,2018,40(05):565.[doi:10. 3969/j. issn. 1674-2869. 2018. 05. 017]
　YE Zhipeng,HE Chenwan*,ZHANG Zhengfeng.Secure Session Management of Web-Based Application Using Aspect-Oriented Programming[J].Journal of Wuhan Institute of Technology,2018,40(04):565.[doi:10. 3969/j. issn. 1674-2869. 2018. 05. 017]

备注/Memo

备注/Memo:
收稿日期：2019-12-31作者简介：张　进，硕士研究生。E-mail：[email protected]*通讯作者：何成万，博士，教授。E-mail：[email protected]引文格式：张进，何成万，石尤. 基于AOP的契约定义及其与JML契约的转换［J］. 武汉工程大学学报，2020，42（4）：456-461.
更新日期/Last Update: 2020-08-13