企業(yè)信息系統(tǒng)的形式化及其應用

前言
上篇 企業(yè)信息系統(tǒng)的形式化理論
第1章 企業(yè)信息系統(tǒng)概述
1.1 企業(yè)信息化與企業(yè)信息系統(tǒng)
1.1.1 企業(yè)信息化
1.1.2 信息系統(tǒng)的概念
1.1.3 企業(yè)信息系統(tǒng)的概念
1.1.4 企業(yè)信息系統(tǒng)的發(fā)展趨勢及面臨的挑戰(zhàn)
1.2 企業(yè)信息系統(tǒng)的分類
1.2.1 企業(yè)信息系統(tǒng)的分類模型和分類視角
1.2.2 企業(yè)信息系統(tǒng)的層次結(jié)構(gòu)
1.2.3 企業(yè)信息系統(tǒng)的功能結(jié)構(gòu)
1.2.4 企業(yè)信息系統(tǒng)的軟件結(jié)構(gòu)
1.2.5 企業(yè)信息系統(tǒng)的生命周期
1.3 企業(yè)信息系統(tǒng)的學科體系
1.3.1 管理科學
1.3.2 系統(tǒng)科學
1.3.3 信息技術(shù)
1.3.4 建模技術(shù)
1.4 企業(yè)信息系統(tǒng)的應用
1.4.1 職能信息系統(tǒng)
1.4.2 層次信息系統(tǒng)
1.4.3 企業(yè)集成信息系統(tǒng)
1.4.4 企業(yè)信息系統(tǒng)案例
第2章 企業(yè)信息系統(tǒng)建模
2.1 模型的概述
2.2 模型的視角及分類
2.3 建模原理
2.3.1 模型的特征
2.3.2 建模的原則
2.4 建模的步驟
2.5 典型的企業(yè)信息系統(tǒng)模型
2.5.1 CIM-OSA模型
2.5.2 普渡體系結(jié)構(gòu)模型
2.5.3 面向功能的體系結(jié)構(gòu)模型
2.5.4 IDEF系列模型
2.5.5 UML模型
2.5.6 面向?qū)ο蟮哪Ｐ?br />第3章 形式化方法的理論基礎
3.1 形式化方法概述
3.1.1 形式化的定義
3.1.2 形式化方法的發(fā)展過程
3.2 形式化方法的分類
3.3 形式化方法的研究內(nèi)容
3.4 形式化的優(yōu)勢及發(fā)展方向
3.5 常用的形式化方法
3.5.1 Petri網(wǎng)
3.5.2 排隊論
3.5.3 隨機進程代數(shù)
3.5.4 形式化規(guī)范說明語言
3.6 形式化方法的應用
3.6.1 形式化方法在軟件開發(fā)中的應用
3.6.2 形式化方法在軟件再工程的應用
3.6.3 基于形式化方法的模型檢驗
3.6.4 其他應用
第4章 企業(yè)信息系統(tǒng)的形式化
4.1 企業(yè)信息系統(tǒng)的發(fā)展及組成
4.1.1 企業(yè)信息系統(tǒng)的發(fā)展
4.1.2 企業(yè)信息系統(tǒng)的組成
4.2 知識網(wǎng)理論
4.2.1 企業(yè)信息系統(tǒng)及Agent網(wǎng)
4.2.2 知識網(wǎng)及其運算
4.2.3 多重集的概念
4.2.4 多重集的運算及其性質(zhì)
4.2.5 知識網(wǎng)復雜度的泛函分析
4.3 對象知識網(wǎng)
4.3.1 對象知識網(wǎng)的概念
4.3.2 對象知識網(wǎng)的構(gòu)造算法
4.3.3 對象知識網(wǎng)與知識網(wǎng)的轉(zhuǎn)換算法
4.4 企業(yè)信息系統(tǒng)的形式化表達
4.4.1 基于知識網(wǎng)的企業(yè)信息系統(tǒng)形式化
4.4.2 基于對象知識網(wǎng)的企業(yè)信息系統(tǒng)形式化
4.5 企業(yè)信息系統(tǒng)的形式化實例
4.5.1 基于知識網(wǎng)的企業(yè)信息系統(tǒng)形式化實例
4.5.2 基于對象知識網(wǎng)的企業(yè)信息系統(tǒng)形式化實例
下篇 企業(yè)信息系統(tǒng)形式化的應用
第5章 企業(yè)信息系統(tǒng)的重構(gòu)
5.1 重構(gòu)的概念及原則
5.1.1 重構(gòu)的概念
5.1.2 重構(gòu)的原則
5.1.3 重構(gòu)問題的研究現(xiàn)狀
5.1.4 重構(gòu)問題的方法
5.2 基于知識網(wǎng)的企業(yè)信息系統(tǒng)重構(gòu)
5.2.1 基于知識網(wǎng)的信息系統(tǒng)重構(gòu)原理
5.2.2 知識網(wǎng)的重構(gòu)算法
5.2.3 基于近似匹配的知識網(wǎng)重構(gòu)研究
5.3 基于對象知識網(wǎng)的近似重構(gòu)
5.3.1 對象知識網(wǎng)的重構(gòu)原及其匹配性
5.3.2 基于近似匹配的對象知識網(wǎng)及信息傳遞網(wǎng)的推理
5.3.3 基于近似匹配的對象知識網(wǎng)重構(gòu)研究
5.4 重構(gòu)案例
5.4.1 基于知識網(wǎng)的企業(yè)信息系統(tǒng)重構(gòu)案例
5.4.2 基于知識網(wǎng)的企業(yè)信息系統(tǒng)近似重構(gòu)
5.4.3 基于對象知識網(wǎng)的企業(yè)信息系統(tǒng)近似重構(gòu)
第6章 企業(yè)信息系統(tǒng)的時間性能
6.1 時間性能的概念及發(fā)展過程
6.2 時間性能的表達
6.2.1 對象知識網(wǎng)知識點間關(guān)系的表達
6.2.2 對象知識網(wǎng)的時間性能
6.2.3 時間性能分析
6.2.4 基于時間性能的系統(tǒng)結(jié)構(gòu)的表達
6.3 企業(yè)信息系統(tǒng)時間性能的案例
6.3.1 時間可達性分析
6.3.2 時間性能的預估
第7章 企業(yè)信息系統(tǒng)適應性的評價
7.1 企業(yè)信息系統(tǒng)適應性的基本概念
7.1.1 企業(yè)信息系統(tǒng)適應性的界定
7.1.2 企業(yè)信息系統(tǒng)適應性的研究現(xiàn)狀
7.2 企業(yè)信息系統(tǒng)適應性的指標體系
7.2.1 GQM方法概述
7.2.2 GQM的建模步驟
7.2.3 GQM方法的應用現(xiàn)狀
7.2.4 企業(yè)信息系統(tǒng)適應性的指標
7.3 企業(yè)信息系統(tǒng)適應性的量化
7.3.1 需求分析階段
7.3.2 系統(tǒng)設計階段
7.3.3 運行維護階段
7.4 企業(yè)信息系統(tǒng)適應性的評價模型及算法
7.4.1 評價模型
7.4.2 評價算法
7.4.3 指標權(quán)重的確定
7.5 企業(yè)信息系統(tǒng)適應性評價案例
7.5.1 案例背景
7.5.2 案例分析
第8章 企業(yè)信息系統(tǒng)的優(yōu)化
8.1 企業(yè)信息系統(tǒng)優(yōu)化的研究
8.1.1 企業(yè)信息系統(tǒng)優(yōu)化的界定
8.1.2 企業(yè)信息系統(tǒng)優(yōu)化的方法
8.1.3 企業(yè)信息系統(tǒng)優(yōu)化的研究現(xiàn)狀
8.2 企業(yè)信息系統(tǒng)的功能優(yōu)化
……
參考文獻