基于逻辑的面向对象语言模型的研究

本项目在分析国内外面向对象程序设计模型及理论最新研究成果的基础上，提出了一种基于逻辑的面向对象语言模型。在此基础上，首先深入研究了基于“序”结构的常规继承及其理论组合操作，并证明了基于按“序”组合观点的继承模型的完备性；其次研究了消息目标的高阶特征，并建立了消息目标的逻辑计算机制；最后定义了该模型的描述性语义和过程性语义，研究了其正确性和完备性，建立了该语言模型的完整的语义体系。主要研究成果包括一个实验系统和8篇学术论文。本项目从逻辑的观点出发，通过对面向对象逻辑语言的研究，得出了面向对象范例中主要语义元素的逻辑语义，并建立了一个完备的计算模型，为面向对象范例提供了逻辑基础。