信息化程度越来越高的今天,计算机软件复杂度的正不断提升,因此计算机软件开发的正确率和效率正变得越来越重要。一方面,“软件工程”的诞生改进了开发方法,从而提高了开发效率,“工作流”的产生同样使得开发人员在开发工作流系统时的效率大大提升；另一方面,“形式化”方法的研究大大提高了开发软件的正确性,保证了关键领域的软件开发的成功率。在保证正确率的前提下充分提高软件开发的效率成为了研究努力的方向,其中基于代码功能的集成便是其中一个热点。　　 要进行功能集成首先得实现功能查找,而功能匹配是功能查找的前提,功能提取又是功能匹配的前提。功能提取属于信息抽取的范畴,作为程序理解的第一步有着重要的意义。现有的功能提取方法(程序理解方法)多是基于关键字匹配和本体的提取,普遍存在着不准确和自动化率低的问题。因此,如何在保证正确性的前提下,充分提高功能提取的效率成为亟待解决的问题。本文的创新点在于将编程语言的形式语义(Clight自然语义)应用到代码功能描述中去,并提出了描述提取的机制和算法,并对算法进行了实例验证,以证明其可行性和有效性。　　 首先,本文分析了研究背景,介绍了形式化语义、功能描述提取以及规则引擎的研究现状,并最后阐述了本课题的研究目的和意义。重点介绍了操作语义及其应用、规则引擎应用及常见规则引擎工具对比,最后确定Clight自然语义和Drools规则引擎作为本文研究和实验的基础。并在第二章中对Clight自然语义和Drools规则引擎的原理做了详细阐述。　　 其次,本文提出了基于Clight形式语义的代码功能描述提取机制,这种机制严格基于Clight大步操作语义推理规则,忽略代码执行的中间细节,关注前、后存储状态的改变,并以此作为代码的功能描述。本文给出了基于Clight形式语义的代码功能描述提取算法,包括代码语法解析、语法单元转化语义单元、语义推理以及存储状态变化提取,讨论了该算法的时间和空间复杂度在最坏情况下分别为O(2^n)和O(n*2^n)。本文还阐述了Drools实现此功能提取自动化的难点。　　 最后,本文通过4个实例来验证本文提出的基于Clight形式语义的代码功能被描述提取机制和算法的可行性和有效性,并通过我们写的Drools程序进行提取。实验结果表明:不同语法实现相同功能的代码,通过我们的算法提取出的结果经过分析是相同的,而实现不同功能的代码提取出的结果也不同；我们的Drools程序对于包含顺序、分支和循环的简单代码的提取效果令人满意。本文在结尾对本文工作做了总结,并指出了下一步研究探索方向。