中文摘要：

为了形式化地研究企业信息系统，提出了基于对象知识网的企业信息系统形式化方法。首先，研究了对象知识网及信息传递关系网的数学描述，分析了对象知识网表达信息系统的规则；然后给出了对象知识网构建的算法以及企业信息系统形式化表达的方法；最后，通过对象知识网在某企业生产管理信息系统形式化中的应用，验证了基于对象知识网的形式化方法的可行性及有效性，为企业信息系统的定量研究提供了数学理论的支持，奠定了信息系统优化的理论基础。

英文摘要：

To study enterprise information systems formally, this paper proposed a representation approach based on objectbased knowledge mesh （OKM）. First, discussed the mathematical description of OKM and its information transfer relationship mesh. Then, gave the rules of enterprise information system representation based on OKM. And then, proposed the building algorithm of OKM as well as formal representation method of enterprise information systems. Finally, exemplified the formal methods based on OKM by the formal representation of the production management information system in a certain enterprise, which verified the validation and feasibihty of these methods. The study provides mathematical theory support for quantificational study on enterprise information systems, and lays foundation for system optimization of information systems.