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

前言
上篇 企業(yè)信息系統的形式化理論
第1章 企業(yè)信息系統概述
1.1 企業(yè)信息化與企業(yè)信息系統
1.1.1 企業(yè)信息化
1.1.2 信息系統的概念
1.1.3 企業(yè)信息系統的概念
1.1.4 企業(yè)信息系統的發(fā)展趨勢及面臨的挑戰(zhàn)
1.2 企業(yè)信息系統的分類
1.2.1 企業(yè)信息系統的分類模型和分類視角
1.2.2 企業(yè)信息系統的層次結構
1.2.3 企業(yè)信息系統的功能結構
1.2.4 企業(yè)信息系統的軟件結構
1.2.5 企業(yè)信息系統的生命周期
1.3 企業(yè)信息系統的學科體系
1.3.1 管理科學
1.3.2 系統科學
1.3.3 信息技術
1.3.4 建模技術
1.4 企業(yè)信息系統的應用
1.4.1 職能信息系統
1.4.2 層次信息系統
1.4.3 企業(yè)集成信息系統
1.4.4 企業(yè)信息系統案例
第2章 企業(yè)信息系統建模
2.1 模型的概述
2.2 模型的視角及分類
2.3 建模原理
2.3.1 模型的特征
2.3.2 建模的原則
2.4 建模的步驟
2.5 典型的企業(yè)信息系統模型
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 形式化方法的發(fā)展過程
3.2 形式化方法的分類
3.3 形式化方法的研究內容
3.4 形式化的優(yōu)勢及發(fā)展方向
3.5 常用的形式化方法
3.5.1 Petri網
3.5.2 排隊論
3.5.3 隨機進程代數
3.5.4 形式化規(guī)范說明語言
3.6 形式化方法的應用
3.6.1 形式化方法在軟件開發(fā)中的應用
3.6.2 形式化方法在軟件再工程的應用
3.6.3 基于形式化方法的模型檢驗
3.6.4 其他應用
第4章 企業(yè)信息系統的形式化
4.1 企業(yè)信息系統的發(fā)展及組成
4.1.1 企業(yè)信息系統的發(fā)展
4.1.2 企業(yè)信息系統的組成
4.2 知識網理論
4.2.1 企業(yè)信息系統及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 企業(yè)信息系統的形式化表達
4.4.1 基于知識網的企業(yè)信息系統形式化
4.4.2 基于對象知識網的企業(yè)信息系統形式化
4.5 企業(yè)信息系統的形式化實例
4.5.1 基于知識網的企業(yè)信息系統形式化實例
4.5.2 基于對象知識網的企業(yè)信息系統形式化實例
下篇 企業(yè)信息系統形式化的應用
第5章 企業(yè)信息系統的重構
5.1 重構的概念及原則
5.1.1 重構的概念
5.1.2 重構的原則
5.1.3 重構問題的研究現狀
5.1.4 重構問題的方法
5.2 基于知識網的企業(yè)信息系統重構
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 基于知識網的企業(yè)信息系統重構案例
5.4.2 基于知識網的企業(yè)信息系統近似重構
5.4.3 基于對象知識網的企業(yè)信息系統近似重構
第6章 企業(yè)信息系統的時間性能
6.1 時間性能的概念及發(fā)展過程
6.2 時間性能的表達
6.2.1 對象知識網知識點間關系的表達
6.2.2 對象知識網的時間性能
6.2.3 時間性能分析
6.2.4 基于時間性能的系統結構的表達
6.3 企業(yè)信息系統時間性能的案例
6.3.1 時間可達性分析
6.3.2 時間性能的預估
第7章 企業(yè)信息系統適應性的評價
7.1 企業(yè)信息系統適應性的基本概念
7.1.1 企業(yè)信息系統適應性的界定
7.1.2 企業(yè)信息系統適應性的研究現狀
7.2 企業(yè)信息系統適應性的指標體系
7.2.1 GQM方法概述
7.2.2 GQM的建模步驟
7.2.3 GQM方法的應用現狀
7.2.4 企業(yè)信息系統適應性的指標
7.3 企業(yè)信息系統適應性的量化
7.3.1 需求分析階段
7.3.2 系統設計階段
7.3.3 運行維護階段
7.4 企業(yè)信息系統適應性的評價模型及算法
7.4.1 評價模型
7.4.2 評價算法
7.4.3 指標權重的確定
7.5 企業(yè)信息系統適應性評價案例
7.5.1 案例背景
7.5.2 案例分析
第8章 企業(yè)信息系統的優(yōu)化
8.1 企業(yè)信息系統優(yōu)化的研究
8.1.1 企業(yè)信息系統優(yōu)化的界定
8.1.2 企業(yè)信息系統優(yōu)化的方法
8.1.3 企業(yè)信息系統優(yōu)化的研究現狀
8.2 企業(yè)信息系統的功能優(yōu)化
……
參考文獻