形式概念分析是德国的Wille教授在20世纪80年代提出的,随着对该理论研究的不断深入,如何将形式概念分析理论现有成果应用到面向对象程序中已经成为计算机科学领域的一个新课题。本文也主要研究了这一课题。概念格又称Galois格,是形式概念分析理论中的核心数据结构,它具体而形象地描述了概念间的偏序关系,是一种重要的知识表示结构。本文主要研究了概念格中的几个基本问题,取得的创新性研究成果如下:(1)概念格的构造。本文提出了一种基于闭包系统快速生成概念的算法,该算法的优点是生成概念简单,而易于理解。(2)提出了面向对象程序形式背景。本文利用形式概念分析重要性质:给定对象和属性的二元关系,形式概念分析能把所有由相关的对象集合和属性集合组成的概念构成概念格;在概念格上,高层的概念表示共性而低层的概念表示个性。通过对现有面向对象应用程序的分析,可以得到新的类及类体系。这样做的好处是:所得到的类体系不仅等价于应用程序最初的类体系,而且在新体系中对象只包含它真正需要的成员,没有冗余成员。自然地,该方法可以用来发现类体系设计的不足之处,也可为类体系重建提供重要的参考建议。(3)提出了面向对象程序类形式背景。本文根据类中成员函数和成员变量的二元关系,构造类的概念格。从而,它为类的可视化提供一个新方法。