●《信息科學技術學術著作叢書》序
前言
章 緒論
第2章 Artifact相關基礎知識
2.1 Artifact概念及性質
2.2 Artifact的信息模型
2.2.1 用屬性-值對表示Artifact信息模型
2.2.2 用對像模型表示Artifact信息模型
2.3 Artifact操作模型
2.3.1 ACOM模型
2.3.2 BALSA模型
第3章 基於XAr/T-net的業務流程建模與分析
3.1 用基本Petri網建模業務流程
3.2 用不錯Petri網建模業務流程
3.3 Artifact嵌套結構的表示
3.3.1 用嵌套關繫表示Artifact
3.3.2 用XML文檔表示Artifact
3.4 Artifact結構的圖形描述
3.4.1 圖形化XML模式定義語言GXSL
3.4.2 基於GXSL的文檔操作語言XMamLa
3.5 XAr/T-net業務流程建模
3.6 XAr/T-net業務流程分析
3.6.1 結構分析
3.6.2 覆蓋圖分析
第4章 以Artifact為中心的業務流程概念模型
4.1 業務流程舉例
4.2 ArtiFlow模素
4.2.1 ArtiFlow模式
4.2.2素
4.2.素
4.2.4 傳素
4.2.5 業務規則
4.2.6 ArtiFlow模型
4.3 基於XML的模型存儲格式
4.4 ArtiFlow模型設計方法
4.4.1素的屬性設計
4.4.2 模型設計步驟
4.4.3 模型基本結構
4.4.4 模型設計規則
4.5 ArtiFlow模型檢查
4.5.1 ArtiFlow模型的物理存儲結構的設計
4.5.2 Artifact持久性檢查
4.5.3 Artifact性檢查
4.5.4 ArtiFlow模型完整性檢查
4.6 ArtiFlow模型優化
4.6.1 模型判優標準
4.6.2 模型優化算法
4.6.3 算法分析
第5章 Artifact生命周期可滿足性分析
5.1 業務流程中的Artifact
5.2 Artifact的生命周期
5.2.1 Artifact屬性賦值順序
5.2.2 Artifact生命周期定義
5.3 Artifact在ArtiFlow中的狀態變化
5.3.1 服務的描述
5.3.2 Artifact的狀態變化樹
5.4 可滿足性驗證算法
第6章 業務流程中Artifact的有效性分析
6.1 Artifact形式化定義
6.2 業務要求和有效性
6.3 基於時間Petri網的業務要求模型
業務要求模型的時間特性
6.5 Artifact有效性判定算法
第7章 業務流程中Artifact的可達性分析
7.1 Artifact生命周期可達性的概念
7.2 Artifact屬性劃分
7.3 基於Artifact屬性子集的業務關聯規則
7.4 基於Petri網分析獲得Artifact有效生命周期過程
7.5 Artifact生命周期可達性驗證算法
第8章 業務流程模型結構相似性分析
8.1 引言
8.2 以Artifact為中心的業務流程二部圖模型
8.3 二部圖模型相似性機制
8.4 矩陣等價轉換求解圖編輯距離
8.5 ArtiMatch算法
第9章 業務流程模型行為相似性分析
9.1 引言
9.2 業務流程行為模型
9.3 服務依賴關繫相似性
9.3.1 服務依賴關繫集
9.3.2 服務依賴關繫集相似性
9.4 Artifact屬性賦值序列相似性
9.4.1 Artifact屬性賦值序列集
9.4.2 Artifact屬性賦值序列集相似性
9.5 流程行為相似性
9.6 理論分析
0章 業務流程模型聚類及服務組合模式挖掘分析
10.1 引言
10.2 流程模型聚類及匹配
10.2.1 流程模型相似特征值提取
10.2.2 流程模型聚類及匹配架構
10.2.3 流程模型聚類及匹配算法
10.3 服務組合模式挖掘
10.3.1 基於Artifact的服務關聯模式
10.3.2 服務組合模式挖掘框架
10.3.3 服務頻繁模式挖掘
10.3.4 服務頻繁模式的業務流挖掘
1章 流程模型中Artifact行為一致性分析
11.1 引言
11.2 基本定義
11.3 Artifact行為一致性檢查
11.3.1 問題描述
11.3.2 Artifact快照推導
11.3.3 問題轉換
11.3.4 擬合度計算
11.4 理論分析
11.5 實例分析
2章 以Artifact為中心的BPMS的三層體繫結構
12.1 雲計算平臺下以Artifact為中心的BPMS的體繫結構設計
12.2 雲計算平臺下以Artifact為中心的BPMS的邏輯層模塊設計
12.2.1 ArtiFlow管理器
12.2.2 SerFlow轉換器
12.3 雲計算平臺下以Artifact為中心的BPMS的物理層模塊設計
12.3.1 服務選擇器
12.3.2 流程生成器
12.3.3 流程執行器
12.4 雲計算平臺下以Artifact為中心的BPMS的管理層模塊設計
12.4.1 流程器
12.4.2 數據管理器
12.5 雲計算平臺下以Artifact為中心的BPMS三層體繫結構的優勢
3章 邏輯層的設計
13.1 SerFlow邏輯模型
13.1.1 基本定義
13.1.2素的描述
13.2 ArtiFlow向SerFlow的轉換
13.2.1 轉換規則
13.2.2 轉換算法
13.2.3 轉換實例
13.3 SerFlow向BPEL轉換過程中的服務匹配
13.3.1 SerFlow中服務接口間的依賴關繫
13.3.2 不同層之間服務匹配的過程
13.3.3 物理服務搜索算法
13.3.4 邏輯層與物理層服務語義匹配算法
4章 物理層的設計
14.1 雲數據庫服務的分類與選擇
14.1.1 雲數據庫的分類
14.1.2 從可擴展性角度選擇雲數據庫服務
14.1.3 從成本角度選擇雲數據庫服務
14.2 Web服務的發現和組合技術
14.2.1數據
14.2.2數據的倒排序索引
14.2.3 基於倒排序索引的原子服務選擇方法
14.2.4 原子服務組合方法
5章 管理層的設計
15.1 Artifact的存儲與雲數據庫服務
15.1.1 利用雲數據庫服務存儲Artifact
15.1.2 利用雲數據庫服務存儲Artifact的安全性分析
15.2 雲數據庫中基於INTERFERE定理的密文索引技術
15.2.1 基本定義
15.2.2 INTERFERE定理
15.2.3 基於INTERFERE定理的密文索引方法
15.2.4 基於INTERFERE定理的密文索引算法及分析
15.2.5 實例分析
15.3 雲數據庫密文索引引起Artifact洩露的衡量與消減
15.3.1 Artifact洩露的衡量標準
15.3.2 Artifact洩露的靜態消減方法
15.3.3 Artifact洩露的動態多層Bucket消減方法
15.4 雲數據庫中Artifact的查詢技術
15.4.1 基本定義
15.4.2 查詢條件的重寫
15.4.3 Artifact的查詢重寫算法及分析
15.4.4 實例分析
15.5 雲數據庫中的查詢優化
15.5.1 雲數據庫服務中的關繫代數操作
15.5.2 雲數據庫中的查詢優化策略
15.6 Web服務的追蹤方法
15.7 Web服務超時判斷
15.7.1 基本定義
15.7.2 靜態彈性時間超時判斷法
15.7.3 動態彈性時間超時判斷法
15.8 Web服務操作正確性判斷
15.8.1 基本定義
15.8.2 流程約束的描述
15.8.3 生命進程正確性判斷
15.8.4 Web服務正確性判斷算法
15.9 Web服務的調整方法
15.9.1 基本定義和調整原則
15.9.2 Web服務調整算法和分析
參考文獻

以數據為中心是業務流程管理發展的一個新趨勢，Artifact是記錄業務流程的數據實體，圍繞Artifact的業務流程管理正在成為業務流程管理研究的一個熱點。《業務流程建模、分析與實現——以Artifact為中心的業務流程管理》主要介紹以Artifact為中心的業務流程建模、分析和實現方法，共15章，其中章和第2章介紹業務流程管理及Artifact基礎知識；第3~11章介紹以Artifact為中心的業務流程建模及相關分析方法；2~15章介紹基於雲計算平臺，以Artifact為中心的業務流程管理繫統的體繫結構設計和實現方法。