迁移工作流与云工作流

1 工作流概述
1.1 工作流
1.1.1 工作流的产生
1.1.2 工作流的定义
1.2 工作流管理系统
1.2.1 工作流管理系统的功能
1.2.2 工作流管理系统的体系结构
1.2.3 工作流管理系统的分类
1.3 工作流模型
1.3.1 WfMC的工作流参考模型
1.3.2 Petri网
1.4 工作流技术研究的现状与发展
1.4.1 工作流发展中遇到的问题分析
1.4.2 工作流的发展趋势
参考文献

2 迁移工作流
2.1 迁移工作流的产生
2.2 移动Agent
2.2.1 Agent的概念
2.2.2 移动Agent的概念
2.2.3 移动Agent模型
2.3 迁移工作流系统
2.3.1 迁移工作流模型
2.3.2 迁移工作流系统框架
2.3.3 一个迁移工作流系统的例子
2.4 迁移实例的迁移策略
2.4.1 迁移实例的服务定位
2.4.2 迁移实例的目的地选择
2.4.3 实验
2.5 本章小结
参考文献

3 面向目标的迁移工作流
3.1 面向目标的迁移工作流
3.1.1 产生背景
3.1.2 面向目标的迁移工作流定义
3.2 目标(Goal)
3.2.1 目标的定义
3.2.2 与／或目标树
3.2.3 时序与／或目标图
3.2.4 带满足支持度的时序目标图
3.3 目标可满足性的定性描述与推理
3.3.1 目标可满足性定性描述
3.3.2 目标之间满足性传递
3.3.3 目标满足性推理算法
3.4 目标可满足性定量描述与推理
3.4.1 目标可满足性定量描述
3.4.2 目标之间满足性传递
3.4.3 目标满足性推理算法
3.5 应用举例
3.6 相关工作的比较
3.7 本章小结
参考文献

4 基于目标描述逻辑的迁移工作流系统
4.1 引言
4.2 描述逻辑基础
4.2.1 描述逻辑
4.2.2 描述逻辑推理机制
4.2.3 基于描述逻辑的目标推理
4.3 目标描述逻辑的语法与语义
4.3.1 语法结构
……
5 基于规划组合的多目标模型优化方法
6 迁移工作流目标规划
7 基于GDLs迁移工作流建模示例
8 云工作流系统
9 面向云工作流的最小成本副本策略
10 云科学工作流中面向最小成本的数据存储策略
11 结束语