Study on formal representation of enterprise information system based on object-based knowledge mesh
基于对象知识网的企业信息系统形式化表达研究*

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