1工作流概述 1
1.1 工作流 1
1.1.1 工作流的产生 1
1.1.2 工作流的定义 3
1.2 工作流管理系统 4
1.2.1 工作流管理系统的功能 4
1.2.2 工作流管理系统的体系结构 5
1.2.3 工作流管理系统的分类 5
1.3 工作流模型 6
1.3.1 WfMC的工作流参考模型 6
1.3.2 Petri网 8
1.4 工作流技术研究的现状与发展 11
1.4.1 工作流发展中遇到的问题分析 11
1.4.2 工作流的发展趋势 12
参考文献 12
2迁移工作流 14
2.1 迁移工作流的产生 14
2.2 移动Agent 15
2.2.1 Agent的概念 15
2.2.2 移动Agent的概念 16
2.2.3 移动Agent模型 17
2.3 迁移工作流系统 18
2.3.1 迁移工作流模型 18
2.3.2 迁移工作流系统框架 19
2.3.3 一个迁移工作流系统的例子 21
2.4 迁移实例的迁移策略 22
2.4.1 迁移实例的服务定位 22
2.4.2 迁移实例的目的地选择 26
2.4.3 实验 27
2.5 本章小结 28
参考文献 28
3面向目标的迁移工作流 30
3.1 面向目标的迁移工作流 30
3.1.1 产生背景 30
3.1.2 面向目标的迁移工作流定义 31
3.2 目标（Goal） 33
3.2.1 目标的定义 34
3.2.2 与／或目标树 35
3.2.3 时序与／或目标图 35
3.2.4 带满足支持度的时序目标图 38
3.3 目标可满足性的定性描述与推理 39
3.3.1 目标可满足性定性描述 39
3.3.2 目标之间满足性传递 40
3.3.3 目标满足性推理算法 41
3.4 目标可满足性定量描述与推理 43
3.4.1 目标可满足性定量描述 43
3.4.2 目标之间满足性传递 43
3.4.3 目标满足性推理算法 44
3.5 应用举例 44
3.6 相关工作的比较 47
3.7 本章小结 47
参考文献 48
4基于目标描述逻辑的迁移工作流系统 49
4.1 引言 49
4.2 描述逻辑基础 50
4.2.1 描述逻辑 50
4.2.2 描述逻辑推理机制 51
4.2.3 基于描述逻辑的目标推理 52
4.3 目标描述逻辑的语法与语义 56
4.3.1 语法结构 56
4.3.2 目标的语义 57
4.3.3 目标规划 58
4.4 目标描述逻辑的推理问题 59
4.4.1 目标描述的一致性判定 59
4.4.2 目标的可满足性判定 59
4.5 举例 60
4.6 相关研究 61
4.7 本章总结 62
参考文献 62
5基于规划组合的多目标模型优化方法 64
5.1 概述 64
5.2 多目标模型优化问题描述 65
5.3 两目标模型的优化方法 65
5.3.1 DD型优化问题 66
5.3.2 DP型优化问题 68
5.3.3 PP型优化问题 68
5.4 多目标模型的优化方法 68
5.5 应用举例 69
5.6 相关工作的比较 70
5.7 本章小结 71
参考文献 71
6迁移工作流目标规划 73
6.1 引言 73
6.2 迁移工作流目标规划框架 74
6.2.1 迁移工作流的目标规划表示 74
6.2.2 迁移工作流目标规划框架 74
6.3 目标规划过程 75
6.3.1 目标规划过程 76
6.3.2 目标“与／或”树的规范 76
6.4 本章总结 78
参考文献 78
7基于GDLs迁移工作流建模示例 79
7.1 面向目标的迁移工作流概念 79
7.2 旅游预订服务工作流建模举例 80
7.2.1 旅游预订目标描述 80
7.2.2 旅游预订目标一致性和可满足性判定 83
7.2.3 多旅游预订目标模型优化 84
7.3 面向目标的工作流建模语言 85
7.4 旅游预订目标建模实验与分析 88
7.5 本章小结 88
参考文献 89
8云工作流系统 90
8.1 引言 90
8.2 云工作流相关技术 91
8.2.1 云计算技术 91
8.2.2 云工作流研究现状 95
8.3 面向服务的云工作流概念模型 97
8.4 面向服务的云工作流结构模型 98
8.5 基于移动Agent的云物流平台联盟策略 99
8.5.1 引言 99
8.5.2 基于移动Agent的云物流信息平台联盟策略 99
8.5.3 实验 101
8.6 本章小结 102
参考文献 103
9面向云工作流的最小成本副本策略 105
9.1 引言 105
9.2 云计算环境下数据管理成本模型 106
9.2.1 云计算环境建模 106
9.2.2 云计算环境下数据管理成本模型 107
9.3 最小成本的副本创建策略 109
9.3.1 带有副本时数据管理成本模型 109
9.3.2 创建副本的必要性测试算法 110
9.4 近似最小成本的副本管理策略 111
9.4.1 扩展斯坦纳树模型 111
9.4.2 近似最小成本的副本近似算法 113
9.5 实验与仿真 114
9.5.1 创建副本必要性测试分析 114
9.5.2 最小成本的副本数量与存储位置分析 116
9.5.3 仿真 117
9.6 本章小结 118
参考文献 119
10云科学工作流中面向最小成本的数据存储策略 120
10.1 引言 120
10.2 云科学工作流 121
10.2.1 科学工作流 121
10.2.2 云科学工作流 123
10.2.3 SwinDeW-C科学工作流管理系统 124
10.3 数据存储成本模型 128
10.4 最小开销的数据存储策略 130
10.4.1 线性数据生成关系的存储策略 130
10.4.2 具有单一块（Block）生成关系的存储策略 132
10.4.3 一般结构的数据存储策略 134
10.5 本章小结 138
参考文献 138
11结束语 140
11.1 工作总结 140
11.2 下一步的工作 141
主题索引 142