面向方面软件重构等价性形式化证明方法

计算机科学 ›› 2006, Vol. 33 ›› Issue (7): 257-261.

• 计算机网络与信息安全 • 上一篇下一篇

面向方面软件重构等价性形式化证明方法

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本文受国家自然科学基金（No.60474072、No.60174050）,广东省自然科学基金（No.04009465、No.010059）,广东省高校自然科学研究项目（No.7.03024）基金资助.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计，使之更容易理解和维护，面向方面的程序设计是软件开发的新技术，为了有效实施面向方面的软件重构，需要开发者识别面向方面程序的转化规则。然而，由于使用的AOP语言没有形式化的语义定义，难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述，定义了两个程序的观测等价，讨论了AspectJ的形式语义模型的建立，在MCI的语义下形式化地精确证明了Add Before-executing编程规则的观测等价性，其

关键词: 重构面向方面编程形式化方法 MCI 等价性 AspectJ

Abstract: Refactoring is that you make small changes to your code to improve your design, making it easier to understand and maintrained without to change program behaviours. Aspect Oriented Programming（AOP） is a new technology for software development. In order to

Key words: Rafactoring,Aspect oriented programming, Formal method,MIC, Equivalence, AspectJ

. 面向方面软件重构等价性形式化证明方法[J]. 计算机科学, 2006, 33(7): 257-261. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

面向方面软件重构等价性形式化证明方法

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0