云環(huán)境下基于事件的分布式工作流技術(shù).pdf

1、論文以BirisCloud云服務(wù)平臺為研究背景,該平臺是一個按需提供服務(wù)的第四方SaaS型模式的服務(wù)平臺,整合了用戶、提供者、資源和服務(wù)中心來提供服務(wù)。服務(wù)中心首先利用流程模型刻畫其業(yè)務(wù)流程,然后租用工作流運(yùn)行節(jié)點(diǎn)支撐其業(yè)務(wù)流程按照流程模型的定義進(jìn)行運(yùn)行。為了建立流程模型之間的關(guān)聯(lián)關(guān)系,需要依靠事件驅(qū)動機(jī)制,且由于服務(wù)中心和工作流運(yùn)行節(jié)點(diǎn)為多對多的關(guān)系,需要通過分布式工作流技術(shù)來完成任務(wù)分配和工作流引擎的準(zhǔn)確調(diào)度。
　　論文在工作

2、流技術(shù)基本知識和原理層面,研究了工作流元模型,JPDL流程模型定義語言,利用工作流網(wǎng)結(jié)合可達(dá)圖,建立語法正確、合理可靠的流程模型的方法以及流程實例創(chuàng)建及執(zhí)行的過程與原理。
　　以對BirisCloud云服務(wù)平臺的概述為基礎(chǔ),論文從運(yùn)行和用戶角度對系統(tǒng)進(jìn)行了需求分析,明確了以事件驅(qū)動機(jī)制和分布式工作流為核心的研究方向。
　　由于將所有流程模型均處理為原子流程模型,流程模型之間的關(guān)聯(lián)需要依靠事件來建立?；诖?論文著重研究了事件

3、驅(qū)動機(jī)制。從對事件和事件實例的定義、形式化描述和分類開始,研究并提出了事件發(fā)布與訂閱機(jī)制,將流程模型之間的緊耦合關(guān)系解耦;在利用事件建立了模型之間的關(guān)聯(lián)后,研究了基于ECA的事件驅(qū)動規(guī)則、事件驅(qū)動的分布式工作流運(yùn)行原理、事件實例產(chǎn)生和消耗機(jī)制及核心算法來支持運(yùn)行階段對事件實例的解析,從而達(dá)到正確調(diào)用工作流引擎的目的。
　　為了在服務(wù)中心和工作流運(yùn)行節(jié)點(diǎn)為多對多關(guān)系的情況下,工作流任務(wù)能夠正確執(zhí)行,論文研究了分布式工作流在流程模型層

4、面和工作流引擎層面的實現(xiàn)。提出了針對BirisCloud云服務(wù)平臺的三種分布式工作流體系結(jié)構(gòu),并對其在穩(wěn)定性、健壯性和響應(yīng)時間方面進(jìn)行了比對分析。進(jìn)而,研究了分布式工作流引擎的調(diào)度問題,提出了動態(tài)負(fù)載平衡調(diào)度算法,優(yōu)化了分布式環(huán)境下對各節(jié)點(diǎn)上工作流引擎的調(diào)度。
　　最后,作為對理論研究的驗證及支撐,設(shè)計和開發(fā)了云環(huán)境下基于事件的分布式工作流管理系統(tǒng),并從多餐廳服務(wù)中心服務(wù)流程的建立、運(yùn)行和監(jiān)管角度出發(fā),對系統(tǒng)進(jìn)行了完整的案例分析與