企业信息系统的形式化及其应用PDF电子书下载

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

第1章 企业信息系统概述 2

1.1 企业信息化与企业信息系统 2

1.1.1 企业信息化 2

1.1.2 信息系统的概念 4

1.1.3 企业信息系统的概念 5

1.1.4 企业信息系统的发展趋势及面临的挑战 5

1.2 企业信息系统的分类 7

1.2.1 企业信息系统的分类模型和分类视角 7

1.2.2 企业信息系统的层次结构 8

1.2.3 企业信息系统的功能结构 12

1.2.4 企业信息系统的软件结构 12

1.2.5 企业信息系统的生命周期 13

1.3 企业信息系统的学科体系 20

1.3.1 管理科学 20

1.3.2 系统科学 24

1.3.3 信息技术 25

1.3.4 建模技术 26

1.4 企业信息系统的应用 27

1.4.1 职能信息系统 27

1.4.2 层次信息系统 30

1.4.3 企业集成信息系统 30

1.4.4 企业信息系统案例 31

第2章 企业信息系统建模 34

2.1 模型的概述 34

2.2 模型的视角及分类 36

2.3 建模原理 38

2.3.1 模型的特征 38

2.3.2 建模的原则 38

2.4 建模的步骤 39

2.5 典型的企业信息系统模型 40

2.5.1 CIM-OSA模型 40

2.5.2 普渡体系结构模型 43

2.5.3 面向功能的体系结构模型 45

2.5.4 IDEF系列模型 46

2.5.5 UML模型 55

2.5.6 面向对象的模型 57

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

3.1 形式化方法概述 60

3.1.1 形式化的定义 60

3.1.2 形式化方法的发展过程 61

3.2 形式化方法的分类 61

3.3 形式化方法的研究内容 62

3.4 形式化的优势及发展方向 63

3.5 常用的形式化方法 65

3.5.1 Petri网 65

3.5.2 排队论 72

3.5.3 随机进程代数 74

3.5.4 形式化规范说明语言 76

3.6 形式化方法的应用 77

3.6.1 形式化方法在软件开发中的应用 77

3.6.2 形式化方法在软件再工程的应用 78

3.6.3 基于形式化方法的模型检验 79

3.6.4 其他应用 79

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

4.1 企业信息系统的发展及组成 81

4.1.1 企业信息系统的发展 81

4.1.2 企业信息系统的组成 82

4.2 知识网理论 83

4.2.1 企业信息系统及Agent网 84

4.2.2 知识网及其运算 85

4.2.3 多重集的概念 87

4.2.4 多重集的运算及其性质 87

4.2.5 知识网复杂度的泛函分析 93

4.3 对象知识网 95

4.3.1 对象知识网的概念 95

4.3.2 对象知识网的构造算法 97

4.3.3 对象知识网与知识网的转换算法 98

4.4 企业信息系统的形式化表达 99

4.4.1 基于知识网的企业信息系统形式化 99

4.4.2 基于对象知识网的企业信息系统形式化 101

4.5 企业信息系统的形式化实例 103

4.5.1 基于知识网的企业信息系统形式化实例 103

4.5.2 基于对象知识网的企业信息系统形式化实例 104

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

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

5.1 重构的概念及原则 110

5.1.1 重构的概念 110

5.1.2 重构的原则 110

5.1.3 重构问题的研究现状 110

5.1.4 重构问题的方法 114

5.2 基于知识网的企业信息系统重构 116

5.2.1 基于知识网的信息系统重构原理 116

5.2.2 知识网的重构算法 116

5.2.3 基于近似匹配的知识网重构研究 124

5.3 基于对象知识网的近似重构 133

5.3.1 对象知识网的重构原及其匹配性 134

5.3.2 基于近似匹配的对象知识网及信息传递网的推理 136

5.3.3 基于近似匹配的对象知识网重构研究 139

5.4 重构案例 140

5.4.1 基于知识网的企业信息系统重构案例 140

5.4.2 基于知识网的企业信息系统近似重构 143

5.4.3 基于对象知识网的企业信息系统近似重构 146

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

6.1 时间性能的概念及发展过程 149

6.2 时间性能的表达 150

6.2.1 对象知识网知识点间关系的表达 150

6.2.2 对象知识网的时间性能 151

6.2.3 时间性能分析 151

6.2.4 基于时间性能的系统结构的表达 154

6.3 企业信息系统时间性能的案例 155

6.3.1 时间可达性分析 155

6.3.2 时间性能的预估 158

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

7.1 企业信息系统适应性的基本概念 159

7.1.1 企业信息系统适应性的界定 159

7.1.2 企业信息系统适应性的研究现状 159

7.2 企业信息系统适应性的指标体系 160

7.2.1 GQM方法概述 160

7.2.2 GQM的建模步骤 161

7.2.3 GQM方法的应用现状 162

7.2.4 企业信息系统适应性的指标 163

7.3 企业信息系统适应性的量化 165

7.3.1 需求分析阶段 165

7.3.2 系统设计阶段 167

7.3.3 运行维护阶段 170

7.4 企业信息系统适应性的评价模型及算法 172

7.4.1 评价模型 172

7.4.2 评价算法 172

7.4.3 指标权重的确定 173

7.5 企业信息系统适应性评价案例 173

7.5.1 案例背景 173

7.5.2 案例分析 173

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

8.1 企业信息系统优化的研究 175

8.1.1 企业信息系统优化的界定 175

8.1.2 企业信息系统优化的方法 176

8.1.3 企业信息系统优化的研究现状 179

8.2 企业信息系统的功能优化 179

8.2.1 知识网功能的满意度模型及其运算 180

8.2.2 基于用户功能需求的知识网多重集表达式的优化 182

8.3 企业信息系统的结构优化 189

8.3.1 免疫遗传算法 190

8.3.2 企业信息系统的结构优化模型 192

8.4 企业信息系统优化案例 193

8.4.1 企业信息系统功能的优化案例 193

8.4.2 企业信息系统结构的优化案例 195

参考文献 199