面向特征编程范式的形式化验证技术研究综述

doi:10.3969/j.issn.1007130X.2010.

J4 ›› 2010, Vol. 32 ›› Issue (9): 89-94.doi: 10.3969/j.issn.1007130X.2010.

面向特征编程范式的形式化验证技术研究综述

叶俊，谭庆平，李暾

（国防科学技术大学计算机学院，湖南长沙 410073）

收稿日期:2010-03-05 修回日期:2010-06-09 出版日期:2010-09-02 发布日期:2010-09-02
作者简介:叶俊(1982),男,福建福安人，博士生，研究方向为FOP/AOP的形式化验证方法及其在软硬件开发和验证中的应用；谭庆平，博士，教授，研究方向为分布式软件工程、形式化方法和自适应软件工程等；李暾，博士，副教授，研究方向为微处理器设计验证技术、电子CAD技术等。
基金资助:
国家自然科学基金资助项目（60773025）；长江学者和创新团队发展计划的资助项目

A Survey on the Formal Verification of FeatureOriented Programming

YE Jun，TAN Qingping，LI Tun

（School of Computer Science,National University of Defense Technology,Changsha 410073,China）

Received:2010-03-05 Revised:2010-06-09 Online:2010-09-02 Published:2010-09-02

摘要/Abstract

摘要：

以面向对象编程范式开发软件经常面临类(Class)与用户需求项无法直接对应的尴尬,面向特征编程范式(FOP)旨在解决这个问题,因此具有重要意义。本文首先简介了FOP编程范式的思想,它与面向方面编程范式的异同,以及它给相应的形式化验证技术带来的挑战; 然后综述了现有的FOP形式化验证方法以及我们所做的相关工作,比较了它们的优缺点; 最后讨论了FOP形式化验证今后可能的研究方向。

Abstract:

It is often not so easy to map the classes directly to the user requirements when developing with the ObjectOriented methodology. FeatureOriented 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 AspectOriented 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.

Key words: featureoriented programming;formal verification;model checking

中图分类号:

叶俊，谭庆平，李暾. 面向特征编程范式的形式化验证技术研究综述[J]. J4, 2010, 32(9): 89-94.

YE Jun，TAN Qingping，LI Tun. A Survey on the Formal Verification of FeatureOriented Programming[J]. J4, 2010, 32(9): 89-94.

面向特征编程范式的形式化验证技术研究综述

A Survey on the Formal Verification of FeatureOriented Programming

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 0

编辑推荐

Metrics

本文评价