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

A Survey on the Formal Verification of Feature-Oriented Programming

作　　者：叶俊[1] 谭庆平[1] 李暾[1] 

机构地区：[1]国防科学技术大学计算机学院,湖南长沙410073

出　　处：《计算机工程与科学》2010年第9期89-94,共6页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(60773025);长江学者和创新团队发展计划的资助项目

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

关 键 词：面向特征编程 形式化验证 模型检验 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]