薛朝改编著的《企业信息系统的形式化及其应用》从全局的角度系统地研究企业信息系统的形式化，符号及定理化信息系统，研究企业信息系统形式化的应用。本书适合系统科学、管理学、信息系统及管理、计算机科学等领域的研究人员及高校师生参考使用。

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

《企业信息系统的形式化及其应用》适合系统科学、管理学、信息系统及管理、计算机科学等领域的研究人员及高校师生参考使用。

前言

上篇　企业信息系统的形式化理论

　第1章　企业信息系统概述

　　1．1　企业信息化与企业信息系统

　　　1．1．1　企业信息化

　　　1．1．2　信息系统的概念

　　　1．1．3　企业信息系统的概念

　　　1．1．4　企业信息系统的发展趋势及面临的挑战

　　1．2　企业信息系统的分类

　　　1．2．1　企业信息系统的分类模型和分类视角

　　　1．2．2　企业信息系统的层次结构

　　　1．2．3　企业信息系统的功能结构

　　　1．2．4　企业信息系统的软件结构

　　　1．2．5　企业信息系统的生命周期

　　1．3　企业信息系统的学科体系

　　　1．3．1　管理科学

　　　1．3．2　系统科学

　　　1．3．3　信息技术

　　　1．3．4　建模技术

　　1．4　企业信息系统的应用

　　　1．4．1　职能信息系统

　　　1．4．2　层次信息系统

　　　1．4．3　企业集成信息系统

　　　1．4．4　企业信息系统案例

　第2章　企业信息系统建模

　　2．1　模型的概述

　　2．2　模型的视角及分类

　　2．3　建模原理

　　　2．3．1　模型的特征

　　　2．3．2　建模的原则

　　2．4　建模的步骤

　　2．5　典型的企业信息系统模型

　　　2．5．1　CIM-OSA模型

　　　2．5．2　普渡体系结构模型

　　　2．5．3　面向功能的体系结构模型

　　　2．5．4　IDEF系列模型

　　　2．5．5　UM1模型

　　　2．5．6　面向对象的模型

　第3章　形式化方法的理论基础

　　3．1　形式化方法概述

　　　3．1．1　形式化的定义

　　　3．1．2　形式化方法的发展过程

　　3．2　形式化方法的分类

　　3．3　形式化方法的研究内容

　　3．4　形式化的优势及发展方向

　　3．5　常用的形式化方法

　　　3．5．1　Petri网

　　　3．5．2　排队论

　　　3．5．3　随机进程代数

　　　3．5．4　形式化规范说明语言

　　3．6　形式化方法的应用

　　　3．6．1　形式化方法在软件开发中的应用

　　　3．6．2　形式化方法在软件再工程的应用

　　　3．6．3　基于形式化方法的模型检验

　　　3．6．4　其他应用

　第4章　企业信息系统的形式化

　　4．1　企业信息系统的发展及组成

　　　4．1．1　企业信息系统的发展

　　　4．1．2　企业信息系统的组成

　　4．2　知识网理论

　　　4．2．1　企业信息系统及Agent网

　　　4．2．2　知识网及其运算

　　　4．2．3　多重集的概念

　　　4．2．4　多重集的运算及其性质

　　　4．2．5　知识网复杂度的泛函分析

　　4．3　对象知识网

下篇　企业信息系统形式化的应用

　第5章　企业信息系统的重构

　第6章　企业信息系统的时间性能

　第7章　企业信息系统适应性的评价

　第8章　企业信息系统的优化

参考文献