遷移工作流與云工作流

1 工作流概述
1.1 工作流
1.1.1 工作流的產(chǎn)生
1.1.2 工作流的定義
1.2 工作流管理系統(tǒng)
1.2.1 工作流管理系統(tǒng)的功能
1.2.2 工作流管理系統(tǒng)的體系結構
1.2.3 工作流管理系統(tǒng)的分類
1.3 工作流模型
1.3.1 WfMC的工作流參考模型
1.3.2 Petri網(wǎng)
1.4 工作流技術研究的現(xiàn)狀與發(fā)展
1.4.1 工作流發(fā)展中遇到的問題分析
1.4.2 工作流的發(fā)展趨勢
參考文獻

2 遷移工作流
2.1 遷移工作流的產(chǎn)生
2.2 移動Agent
2.2.1 Agent的概念
2.2.2 移動Agent的概念
2.2.3 移動Agent模型
2.3 遷移工作流系統(tǒng)
2.3.1 遷移工作流模型
2.3.2 遷移工作流系統(tǒng)框架
2.3.3 一個遷移工作流系統(tǒng)的例子
2.4 遷移實例的遷移策略
2.4.1 遷移實例的服務定位
2.4.2 遷移實例的目的地選擇
2.4.3 實驗
2.5 本章小結
參考文獻

3 面向目標的遷移工作流
3.1 面向目標的遷移工作流
3.1.1 產(chǎn)生背景
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 基于目標描述邏輯的遷移工作流系統(tǒng)
4.1 引言
4.2 描述邏輯基礎
4.2.1 描述邏輯
4.2.2 描述邏輯推理機制
4.2.3 基于描述邏輯的目標推理
4.3 目標描述邏輯的語法與語義
4.3.1 語法結構
……
5 基于規(guī)劃組合的多目標模型優(yōu)化方法
6 遷移工作流目標規(guī)劃
7 基于GDLs遷移工作流建模示例
8 云工作流系統(tǒng)
9 面向云工作流的最小成本副本策略
10 云科學工作流中面向最小成本的數(shù)據(jù)存儲策略
11 結束語