面向特征编程范式的形式化验证技术研究综述
收稿日期: 2010-03-05
修回日期: 2010-06-09
网络出版日期: 2010-09-02
基金资助
国家自然科学基金资助项目（60773025）；长江学者和创新团队发展计划的资助项目
A Survey on the Formal Verification of FeatureOriented Programming
Received date: 2010-03-05
Revised date: 2010-06-09
Online published: 2010-09-02
以面向对象编程范式开发软件经常面临类(Class)与用户需求项无法直接对应的尴尬,面向特征编程范式(FOP)旨在解决这个问题,因此具有重要意义。本文首先简介了FOP编程范式的思想,它与面向方面编程范式的异同,以及它给相应的形式化验证技术带来的挑战; 然后综述了现有的FOP形式化验证方法以及我们所做的相关工作,比较了它们的优缺点; 最后讨论了FOP形式化验证今后可能的研究方向。
叶俊，谭庆平，李暾 . 面向特征编程范式的形式化验证技术研究综述[J]. 计算机工程与科学, 2010 , 32(9) : 89 -94 . DOI: 10.3969/j.issn.1007130X.2010.
It is often not so easy to map the classes directly to the user requirements when developing with the ObjectOriented methodology. FeatureOriented Programming methodology can solve this problem,so it has significant meaning. In this paper,we firstly introduce the ideas of FOP,its similarities and differences with AspectOriented Programming,and its influence on the corresponding formal verification methods; then we survey the existing FOP formal verification methods and our related work,compare their advantages and disadvantages.Finally,we prospect the future directions of formal verification on FOP.
/
| 〈 |
|
〉 |