遷移工作流與云工作流

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)的體系結(jié)構(gòu)
1.2.3 工作流管理系統(tǒng)的分類
1.3 工作流模型
1.3.1 WfMC的工作流參考模型
1.3.2 Petri網(wǎng)
1.4 工作流技術(shù)研究的現(xiàn)狀與發(fā)展
1.4.1 工作流發(fā)展中遇到的問(wèn)題分析
1.4.2 工作流的發(fā)展趨勢(shì)
參考文獻(xiàn)

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

3 面向目標(biāo)的遷移工作流
3.1 面向目標(biāo)的遷移工作流
3.1.1 產(chǎn)生背景
3.1.2 面向目標(biāo)的遷移工作流定義
3.2 目標(biāo)(Goal)
3.2.1 目標(biāo)的定義
3.2.2 與／或目標(biāo)樹(shù)
3.2.3 時(shí)序與／或目標(biāo)圖
3.2.4 帶滿足支持度的時(shí)序目標(biāo)圖
3.3 目標(biāo)可滿足性的定性描述與推理
3.3.1 目標(biāo)可滿足性定性描述
3.3.2 目標(biāo)之間滿足性傳遞
3.3.3 目標(biāo)滿足性推理算法
3.4 目標(biāo)可滿足性定量描述與推理
3.4.1 目標(biāo)可滿足性定量描述
3.4.2 目標(biāo)之間滿足性傳遞
3.4.3 目標(biāo)滿足性推理算法
3.5 應(yīng)用舉例
3.6 相關(guān)工作的比較
3.7 本章小結(jié)
參考文獻(xiàn)

4 基于目標(biāo)描述邏輯的遷移工作流系統(tǒng)
4.1 引言
4.2 描述邏輯基礎(chǔ)
4.2.1 描述邏輯
4.2.2 描述邏輯推理機(jī)制
4.2.3 基于描述邏輯的目標(biāo)推理
4.3 目標(biāo)描述邏輯的語(yǔ)法與語(yǔ)義
4.3.1 語(yǔ)法結(jié)構(gòu)
……
5 基于規(guī)劃組合的多目標(biāo)模型優(yōu)化方法
6 遷移工作流目標(biāo)規(guī)劃
7 基于GDLs遷移工作流建模示例
8 云工作流系統(tǒng)
9 面向云工作流的最小成本副本策略
10 云科學(xué)工作流中面向最小成本的數(shù)據(jù)存儲(chǔ)策略
11 結(jié)束語(yǔ)