中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
面向領域知識的業務流程可變性配置管理研究/黃貽望 版權信息
- ISBN:9787030602657
- 條形碼:9787030602657 ; 978-7-03-060265-7
- 裝幀:一般膠版紙
- 冊數:暫無
- 重量:暫無
- 所屬分類:>>
面向領域知識的業務流程可變性配置管理研究/黃貽望 內容簡介
為了滿足企業建立動態化、智能化的自適應業務流程的需求,《面向領域知識的業務流程可變性配置管理研究》首先提出RGPS引導與模型檢測相結合的業務流程可變性配置管理框架;然后從用戶和目標的約束、數據流之間依賴關系約束及業務合規規則的一致性分析出發,實現不同視角、粒度的業務流程可變性配置管理技術的研究。 在相關研究方法的基礎上,《面向領域知識的業務流程可變性配置管理研究》設計了相應的業務流程可變性配置管理原型系統,用于進行業務流程可變性配置管理的實證分析,并實現了部分簡單的模塊和性能。 《面向領域知識的業務流程可變性配置管理研究》適用于軟件工程及業務流程管理領域的研究生和科研工作者。
面向領域知識的業務流程可變性配置管理研究/黃貽望 目錄
第1章 緒論
1.1 背景和意義
1.2 研究現狀
1.2.1 業務流程管理
1.2.2 流程感知信息系統
1.2.3 參考流程模型
1.3 業務流程建模語言
1.3.1 EPC
1.3.2 BPMN
1.3.3 YAWL
1.3.4 BPEL
1.4 業務流程可變性管理
1.5 軟件可變性管理
1.5.1 軟件配置管理
1.5.2 特征圖
1.6 形式化流程定義語言
1.6.1 標簽遷移系統
1.6.2 工作流網
1.6.3 著色Petri網
1.7 約束屬性的時序邏輯
1.7.1 線性時序邏輯的語法及語義
1.7.2 計算樹邏輯的語法及語義
1.7.3 ASK-CTL時序邏輯
本章小結
第2章 可配置業務流程
2.1 引言
2.2 流程重用
2.3 流程模型的自適應
2.4 可配置業務流程
2.4.1 問題陳述
2.4.2 模型映射
2.4.3 業務流程的柔性
2.4.4 配置業務流程模型
2.5 幾種典型的可配置業務流程模型
2.5.1 C-YAWL
2.5.2 C-EPC和C-iEPC
本章小結
第3章 構建可配置流程模型
3.1 從事件日志中生成可配置流程模型
3.1.1 處理前的日志文件
3.1.2 挖掘基礎流程模型
3.2 合并流程模型
本章小結
第4章 按需服務的可配置業務流程模型
4.1 引言
4.2 按需服務RGPS元模型框架
4.3 需求元模型約束的可配置業務流程模型架構
4.4 基于R&G約束的可配置業務流程模型
4.4.1 場景說明
4.4.2 Cform-net的配置操作
4.4.3 相關定義
4.4.4 Cform-net與WF-net之間的轉換
4.5 Cform-net模型的合理性
4.6 實驗分析
本章小結
第5章 基于目標感知的可配置業務流程分析
5.1 引言
5.2 基于目標感知的可配置業務流程分析方法與應用場景
5.3 GWF-net及其配置
5.3.1 GWF-net
5.3.2 GWF-net配置
5.4 GWF-net配置的正確性分析
5.4.1 GWF-net需求約束的時序邏輯表示
5.4.2 GWF-net配置的語義正確性
本章小結
第6章 基于數據流的可配置業務流程的分析與驗證
6.1 引言
6.2 研究動機
6.3 基于數據流的可配置業務流程模型
6.3.1 整合數據流到業務流程模型
6.3.2 業務流程的配置
6.3.3 基于數據流的可配置業務流程模型的分析
6.4 實驗分析
本章小結
第7章 基于業務規則的可配置業務流程的一致性分析
7.1 引言
7.2 業務規則
7.3 業務規則一致性分析架構及應用場景
7.4 可配置業務流程模型的一致性分析方法
7.4.1 可配置著色的Petri網
7.4.2 可配置業務流程的配置公式
7.4.3 基于ASK-CTL的可配置業務流程合規性模式
7.5 實驗分析
本章小結
第8章 云計算環境下的業務流程可變性管理平臺分析與設計
8.1 引言
8.2 業務流程可變性管理平臺設計的整體框架
8.3 管理平臺工具的簡單功能界面
本章小結
參考文獻
后記
1.1 背景和意義
1.2 研究現狀
1.2.1 業務流程管理
1.2.2 流程感知信息系統
1.2.3 參考流程模型
1.3 業務流程建模語言
1.3.1 EPC
1.3.2 BPMN
1.3.3 YAWL
1.3.4 BPEL
1.4 業務流程可變性管理
1.5 軟件可變性管理
1.5.1 軟件配置管理
1.5.2 特征圖
1.6 形式化流程定義語言
1.6.1 標簽遷移系統
1.6.2 工作流網
1.6.3 著色Petri網
1.7 約束屬性的時序邏輯
1.7.1 線性時序邏輯的語法及語義
1.7.2 計算樹邏輯的語法及語義
1.7.3 ASK-CTL時序邏輯
本章小結
第2章 可配置業務流程
2.1 引言
2.2 流程重用
2.3 流程模型的自適應
2.4 可配置業務流程
2.4.1 問題陳述
2.4.2 模型映射
2.4.3 業務流程的柔性
2.4.4 配置業務流程模型
2.5 幾種典型的可配置業務流程模型
2.5.1 C-YAWL
2.5.2 C-EPC和C-iEPC
本章小結
第3章 構建可配置流程模型
3.1 從事件日志中生成可配置流程模型
3.1.1 處理前的日志文件
3.1.2 挖掘基礎流程模型
3.2 合并流程模型
本章小結
第4章 按需服務的可配置業務流程模型
4.1 引言
4.2 按需服務RGPS元模型框架
4.3 需求元模型約束的可配置業務流程模型架構
4.4 基于R&G約束的可配置業務流程模型
4.4.1 場景說明
4.4.2 Cform-net的配置操作
4.4.3 相關定義
4.4.4 Cform-net與WF-net之間的轉換
4.5 Cform-net模型的合理性
4.6 實驗分析
本章小結
第5章 基于目標感知的可配置業務流程分析
5.1 引言
5.2 基于目標感知的可配置業務流程分析方法與應用場景
5.3 GWF-net及其配置
5.3.1 GWF-net
5.3.2 GWF-net配置
5.4 GWF-net配置的正確性分析
5.4.1 GWF-net需求約束的時序邏輯表示
5.4.2 GWF-net配置的語義正確性
本章小結
第6章 基于數據流的可配置業務流程的分析與驗證
6.1 引言
6.2 研究動機
6.3 基于數據流的可配置業務流程模型
6.3.1 整合數據流到業務流程模型
6.3.2 業務流程的配置
6.3.3 基于數據流的可配置業務流程模型的分析
6.4 實驗分析
本章小結
第7章 基于業務規則的可配置業務流程的一致性分析
7.1 引言
7.2 業務規則
7.3 業務規則一致性分析架構及應用場景
7.4 可配置業務流程模型的一致性分析方法
7.4.1 可配置著色的Petri網
7.4.2 可配置業務流程的配置公式
7.4.3 基于ASK-CTL的可配置業務流程合規性模式
7.5 實驗分析
本章小結
第8章 云計算環境下的業務流程可變性管理平臺分析與設計
8.1 引言
8.2 業務流程可變性管理平臺設計的整體框架
8.3 管理平臺工具的簡單功能界面
本章小結
參考文獻
后記
展開全部
書友推薦
- >
我與地壇
- >
唐代進士錄
- >
經典常談
- >
史學評論
- >
有舍有得是人生
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
月亮虎
- >
小考拉的故事-套裝共3冊
本類暢銷