企業信息系統的形式化及其應用（簡體書）

《企業信息系統的形式化及其應用》主要內容簡介：企業信息系統（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 UML模型
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 對象知識網
4.3.1 對象知識網的概念
4.3.2 對象知識網的構造算法
4.3.3 對象知識網與知識網的轉換算法
4.4 企業信息系統的形式化表達
4.4.1 基于知識網的企業信息系統形式化
4.4.2 基于對象知識網的企業信息系統形式化
4.5 企業信息系統的形式化實例
4.5.1 基于知識網的企業信息系統形式化實例
4.5.2 基于對象知識網的企業信息系統形式化實例

下篇 企業信息系統形式化的應用
第5章 企業信息系統的重構
5.1 重構的概念及原則
5.1.1 重構的概念
5.1.2 重構的原則
5.1.3 重構問題的研究現狀
5.1.4 重構問題的方法
5.2 基于知識網的企業信息系統重構
5.2.1 基于知識網的信息系統重構原理
5.2.2 知識網的重構算法
5.2.3 基于近似匹配的知識網重構研究
5.3 基于對象知識網的近似重構
5.3.1 對象知識網的重構原及其匹配性
5.3.2 基于近似匹配的對象知識網及信息傳遞網的推理
5.3.3 基于近似匹配的對象知識網重構研究
5.4 重構案例
5.4.1 基于知識網的企業信息系統重構案例
5.4.2 基于知識網的企業信息系統近似重構
5.4.3 基于對象知識網的企業信息系統近似重構
第6章 企業信息系統的時間性能
6.1 時間性能的概念及發展過程
6.2 時間性能的表達
6.2.1 對象知識網知識點間關系的表達
6.2.2 對象知識網的時間性能
6.2.3 時間性能分析
6.2.4 基于時間性能的系統結構的表達
6.3 企業信息系統時間性能的案例
6.3.1 時間可達性分析
6.3.2 時間性能的預估
第7章 企業信息系統適應性的評價
7.1 企業信息系統適應性的基本概念
7.1.1 企業信息系統適應性的界定
7.1.2 企業信息系統適應性的研究現狀
7.2 企業信息系統適應性的指標體系
7.2.1 GQM方法概述
7.2.2 GQM的建模步驟
7.2.3 GQM方法的應用現狀
7.2.4 企業信息系統適應性的指標
7.3 企業信息系統適應性的量化
7.3.1 需求分析階段
7.3.2 系統設計階段
7.3.3 運行維護階段
7.4 企業信息系統適應性的評價模型及算法
7.4.1 評價模型
7.4.2 評價算法
7.4.3 指標權重的確定
7.5 企業信息系統適應性評價案例
7.5.1 案例背景
7.5.2 案例分析
第8章 企業信息系統的優化
8.1 企業信息系統優化的研究
8.1.1 企業信息系統優化的界定
8.1.2 企業信息系統優化的方法
8.1.3 企業信息系統優化的研究現狀
8.2 企業信息系統的功能優化
……
參考文獻

（2）管理信息系統管理信息系統是面向管理的信息系統，該階段的特點是實現跨區域互聯網絡，并且可以利用定量化的科學管理方法，通過預測、計劃優化、管理、調節和控制等手段來支持決策。此時，計算機在管理上的廣泛應用，使得管理信息系統逐漸成熟起來。數據庫技術、網絡技術等的發展不僅使組織內部的各級管理連接起來，而且可以克服地理界線，建立起不同地區的計算機網絡，從而形成各種業務信息系統和管理信息系統。
（3）決策支持系統決策支持系統是面向決策的信息系統。該階段的主要特點是把數據庫處理與經濟管理數學模型的優化計算結合起來，形成具有管理、輔助決策和預測功能的管理信息系統。決策支持系統是管理信息系統發展的新階段，是管理信息系統功能上的延伸。早期的管理信息系統主要是為管理者提供預定的報告，而決策支持系統則是在人和計算機交互的過程中幫助決策者探索可能的方案，方管理者提供決策所需的信息。
信息技術的不斷發展導致企業信息系統的不斷發展；新技術的運用和革新，為企業信息系統的不斷發展提供了廣闊的空間。近年來，信息技術的新發展主要有移動通信技術、便攜技術、自動識別技術以及虛擬現實技術。這些新技術有的是面向組織的信息系統，有的是面向社會的信息系統。同時，各種人工智能工具增強了企業做出更優決策的能力，如人工神經網絡、數據倉庫、遺傳算法以及專家系統等。因此，在一定的條件下，信息系統可以利用人工智能在決策方案上提出更加可靠的建議，從而更好地為決策者服務。對于企業而言，信息系統和人工智能工具的結合是企業信息系統的發展方向。