《企业信息系统的形式化及其应用》主要内容简介：企业信息系统（Enterprise Information System，EIS）在众多行业中得到了广泛的应用，并且发挥着越来越重要的作用，日益成为企业运行中必不可少的组成部分。形式化即“符号化+抽象公理化”，也就是采用定量的数学方法描述系统，借助数学方法研究系统的性质与规律。企业信息系统的形式化及应用研究，对于认识企业信息系统的结构，深入研究其运行机理具有重要意义，是企业信息系统的研究从定性转向定量，不断深入的必经之路。为此，《企业信息系统的形式化及其应用》从全局的角度系统地研究企业信息系统的形式化，符号及定理化信息系统，研究企业信息系统形式化的应用。全书分为上下两篇，分别是企业信息系统的形式化理论，以及企业信息系统形式化的应用，包括重构、时间性能、适应性评价、优化等内容。《企业信息系统的形式化及其应用》适合系统科学、管理学、信息系统及管理、计算机科学等领域的研究人员及高校师生参考使用。