企业信息系统的形式化及其应用PDF|Epub|txt|kindle电子书版本网盘下载

企业信息系统的形式化及其应用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