中文摘要：

为了深入认识信息系统的本质与规律，使其获得更加广泛而深入地应用，本项目对信息系统的形式化问题展开了研究。首先，基于知识网的知识表达及面向对象方法，提出了对象知识网的新概念，研究了对象知识网的数学描述、静态性能、动态性能以及其推理运算方法。然后，提出了基于对象知识网的形式化方法，解决了信息系统的形式化问题。接下来，研究了对象知识网的时间性能，提出了基于对象知识网的信息系统体系结构的优化方法。最后，在上述研究基础上，以实际应用的信息系统为例，说明所提出方法的应用过程，验证模型及方法的可行性。本项目的研究，解决了知识网表达信息系统时的"信息爆炸"问题，为信息系统的分析提供数学理论的支持，加深对信息系统本质的认识及其规律的掌握，为信息系统重用性、适应性等性能的深入研究奠定了基础；项目研究成果的应用，对于提高信息系统的适应能力，缩短研究与开发周期，加快我国企业信息化的进程具有重要意义。在一年的研究周期中，共发表论文13篇，其中，国际核心期刊论文1篇，国内核心期刊论文5篇，被SCI收录1篇，EI收录5篇，ISTP收录6篇。培养硕士生2人。