近二十年來,電子商務(wù)和電子政務(wù)不斷發(fā)展和成熟。為了滿足各個領(lǐng)域?qū)I(yè)務(wù)過程自動化和執(zhí)行效率的要求,商務(wù)工作流的應(yīng)用越來越廣泛,各類商務(wù)工作流系統(tǒng)也不斷涌現(xiàn)。商務(wù)應(yīng)用場景中最顯著的特征是工作流實例的并發(fā)性——通常有大量并發(fā)的工作流實例以分布的形式被執(zhí)行,每個實例對應(yīng)一個用戶或者系統(tǒng)請求。為了保障大規(guī)模并發(fā)實例執(zhí)行所需的計算能力和足夠的可擴展性,越來越多的商務(wù)工作流管理平臺遷移到云環(huán)境當中,利用云計算技術(shù)提供的高效和可擴展的計算能力保障工作流實例的執(zhí)行。典型的云工作流系統(tǒng)包括 Amazon Simple Workflow、IBM BPM on Cloud 和 SwinFlow-Cloud 等。商務(wù)應(yīng)用中最重要也是最基本的屬性是邏輯正確性,接收到處理請求之后必須通過正確的處理邏輯給系統(tǒng)或者用戶返回正確的計算結(jié)果。而商務(wù)工作流系統(tǒng)作為一類典型的實時性系統(tǒng),其計算的正確性不僅在于工作流實例執(zhí)行過程中的邏輯正確性,還需要考慮工作流實例的時序正確性,即工作流實例的響應(yīng)時間是否與預(yù)先設(shè)定的時間約束或者時序規(guī)約保持一致。如果工作流實例的響應(yīng)時間約束條件得不到滿足,大量的用戶請求不能在時間約束內(nèi)得到響應(yīng),不僅會使用戶滿意度下降,還可能導(dǎo)致返回的結(jié)果因為過期而失效,甚至會造成巨大的經(jīng)濟損失。因此,大規(guī)模并發(fā)執(zhí)行的商務(wù)工作流實例能否達到預(yù)期的按時完成率(在時間約束內(nèi)執(zhí)行完成的比例)是衡量商務(wù)工作流系統(tǒng)服務(wù)質(zhì)量的一個重要方面。然而,由于云計算環(huán)境的動態(tài)性以及工作流實例在執(zhí)行過程中出現(xiàn)的不確定性等因素的影響,局部工作流活動在執(zhí)行過程中可能出現(xiàn)不同程度的響應(yīng)時延,從而影響整個工作流實例的按時完成。此外,并發(fā)執(zhí)行的工作流活動之間對處理資源的競爭以及工作流實例中前后活動的邏輯依賴關(guān)系會加劇工作流局部延時的擴散和傳播,并最終對工作流實例的按時完成率造成嚴重的影響。保障云環(huán)境下商務(wù)工作流實例的時序正確性主要面臨以下幾方面的困難。(1)工作流實例的大規(guī)模并發(fā)的特性使得每個實例的時序狀態(tài)難以監(jiān)控;(2)工作流實例執(zhí)行過程中的動態(tài)性以及工作流活動的響應(yīng)時延的傳播特性使得工作流實例的時序狀態(tài)難以度量和驗證;(3)由于商務(wù)工作流實例的執(zhí)行時間較短,檢測到時序異常之后需要迅速、有效的進行異常處理,以保障其在時間約束內(nèi)按時完成。對于上述問題,現(xiàn)有的工作流監(jiān)控和驗證等相關(guān)方面的研究都無法提供有效的解決方法。為此,本文針對云環(huán)境下商務(wù)工作流(以下簡稱“商務(wù)云工作流”)的時序正確性進行了一系列的研究,研究目標是保障商務(wù)云工作流實例的實際按時完成率不低于預(yù)先設(shè)定的目標值。特別說明的是,本文中提到的工作流“時序”是指在流程構(gòu)建階段由流程設(shè)計者預(yù)先設(shè)定的時間信息,比如工作流活動的平均執(zhí)行時間和工作流實例的總體響應(yīng)時間等。如果一個工作流實例或者活動違反時間約束,則稱其時序行為出現(xiàn)異常,簡稱時序異常。時序一致性是指工作流執(zhí)行過程中時間約束的滿足性,即工作流運行時狀態(tài)與工作流構(gòu)建階段設(shè)定的時序服務(wù)質(zhì)量規(guī)約(本文具體指目標按時完成率)之間的一致性關(guān)系。如果兩者的關(guān)系保持一致,則稱商務(wù)工作流實例具有時序正確性。圍繞上述目標,本文進行了以下三項主要的研究工作:(1)工作流時序異常數(shù)量的靜態(tài)預(yù)測工作流的生命周期由工作流構(gòu)建階段和運行階段兩部分組成。本文提出了一種基于傳染病模型的工作流時序異常的靜態(tài)預(yù)測方法,在工作流構(gòu)建階段對運行過程中可能違反時間約束的工作流活動的數(shù)量進行預(yù)測,估算出每一類工作流活動中可能違反其對應(yīng)的時間約束的活動數(shù)量。靜態(tài)預(yù)測得到的結(jié)果可以為工作流相關(guān)配置(如時間約束和執(zhí)行環(huán)境)的優(yōu)化以及工作流實例執(zhí)行過程中時序異常處理提供參考。據(jù)文獻查證,本文提出的方法是首次在工作流實例運行之前對運行過程中可能出現(xiàn)的時序異常進行預(yù)測。實驗結(jié)果表明,當商務(wù)工作流實例的并發(fā)量為10000時,預(yù)測結(jié)果的平均相對誤差小于10%。(2)傳播敏感的工作流時序一致性驗證為了監(jiān)控和驗證商務(wù)云工作流的運行時時序一致性狀態(tài),本文提出了一種傳播敏感的工作流時序一致性驗證策略,相比較于現(xiàn)有的時序驗證方法,本文提出的策略在驗證效率和效果兩方面都表現(xiàn)出更好的性能。首先,采用工作流吞吐量來度量工作流實例的運行時狀態(tài),提出了一種基于吞吐量的時序一致性驗證模型。與現(xiàn)有的基于工作流響應(yīng)時間的時序一致性驗證方法相比,基于吞吐量的驗證方法能大幅提高工作流時序監(jiān)控和驗證效率。此外,該模型充分考慮了響應(yīng)時延在工作流系統(tǒng)中的傳播效應(yīng),能獲得更精確的時序一致性狀態(tài)。在此基礎(chǔ)上,結(jié)合現(xiàn)有的時序一致性檢測點選擇方法,本文提出了一種新的工作流時序一致性驗證策略,該策略能夠及時檢測出工作流實例執(zhí)行過程中的出現(xiàn)的時序不一致狀態(tài)。(3)適應(yīng)性的工作流時序異常處理為了保證工作流實例的按時完成率,工作流時序一致性策略檢測到時序不一致之后,需要對已經(jīng)發(fā)生的時序異常進行處理。為此,本文提出了一種適應(yīng)性的工作流時序異常處理策略。該策略通過添加額外的處理資源來加快工作流實例的執(zhí)行,增加整個系統(tǒng)的吞吐量,最終使工作流實例的按時完成率達到目標值。本文提出的工作流時序異常處理策略從新增資源的三個方面入手,首先定位到發(fā)生時序異常的云服務(wù),再確定用于時序異常處理所新增的資源數(shù)量,最后通過一種適應(yīng)性的方法確定新增資源的生命周期。該方法能夠以盡可能少的資源消耗處理檢測到的工作流時序異常,保證按時完成率�？偟膩碚f,針對云環(huán)境下商務(wù)工作流實例的時序正確性問題,本文進行了三部分研究工作,第一部分是在工作流構(gòu)建階段進行靜態(tài)預(yù)測,后面兩部分內(nèi)容是在工作流實例的運行時階段進行時序狀態(tài)的監(jiān)控、驗證和處理。為“如何保證大規(guī)模并發(fā)執(zhí)行的商務(wù)工作流實例在時間約束內(nèi)按時完成”這一問題提供了有效的解決方案。本文采用云工作流原型系統(tǒng)SwinFlow-Cloud作為實驗環(huán)境來驗證上述策略的效果和有效性。
【學(xué)位單位】：武漢大學(xué)
【學(xué)位級別】：博士
【學(xué)位年份】：2018
【中圖分類】：TP311.52
【部分圖文】：

圖３－１證券交易流程??每個交易日有上百萬的用戶同時在線，在峰值時期的交易量最高可以達到幾??百萬筆每秒，平均每秒的交易量大概幾千筆。圖３－１中的第一步是客戶委托，上??百萬個客戶在交易市場關(guān)閉之前隨時可能發(fā)生委托，全國４０００多個營業(yè)部需要??同時受理客戶提交的委托。在接收到客戶委托之后需，證券公司首先驗證委托數(shù)??據(jù)的有效性（步驟２），之后在證券交易所，被驗證有效的委托根據(jù)交易規(guī)則進行??擬合交易（步驟３）。生成交易數(shù)據(jù)和費用等各項指標（步驟４－５）。在交易市場??關(guān)閉之后，證券公司要對當天的所有交易進行存檔、匯總并完成清算。同時需要??計算各個證券公司的資金變化和股票交易量，然后把計算結(jié)果分發(fā)到結(jié)算公司以??及證券存托機構(gòu)（步驟６－８）。這樣整個清算過程可以以分布的形式并發(fā)進行。當??證券公司收到清算數(shù)據(jù)文件時，經(jīng)過預(yù)處理之后在清算系統(tǒng)中完成清算，在大約??兩個小時的時間內(nèi)處理完一個大小約５０ＭＢ，包含高達５０萬筆交易的數(shù)據(jù)文件??（步驟９）。對于每筆交易

之間的相互作用和依賴關(guān)系同樣值得關(guān)注。??３．?３預(yù)測策略概述??圖３－２綜合提煉了本章節(jié)的重點研宄內(nèi)容，它主要包括兩部分。第一部分是??本文提出的時序異常預(yù)測策略，它在工作流構(gòu)建階段預(yù)測執(zhí)行過程中可能出現(xiàn)的??時序異�；顒訑�(shù)量。第二部作為理論基礎(chǔ)，對同一個工作流活動不同粒度的多重??時序約束之間的依賴關(guān)系進行分析。??Ｓ?．２?Ｔｅｍｐｏｒａｌ??Ｉ．?Ｔｅｍｐｏｒａｌ?ｃｏｎｓｔｒａｉｎｔｓ?ＩＩ．?Ｔｅｍｐｏｒａｌ??ｇ?２?Ｃｏｎｓｔｒａｉｎｔｓ?Ｓｅｔｔｉｎｇ?＾?Ｄｅｐｅｎｄｅｎｃｙ?Ａｎａｌｙｓｉｓ??＾Ｔｅｍｐｏｒａｌ?；Ｇｕｉｄｃ??：Ｆｅａｔｕｒｅｓ＾?：??：?ＳＰ丨丨Ｕ丨叩?ｎ?＠?Ａｎａｌｙｚｉｎａ??Ｐａｒａｌｌｅｌ?①?Ｇｅｎｅｒａｔｉｎｇ?二＝Ａｃｔｉｖｉｔｙ?Ｓｔａｔｕｓ??Ｗｏｒｋｆｌｏｗ?ｉｎｓｔａｎｃｅｓ?Ｑｕｅｕｉｎｇ?Ｓｙｓｔｅｍｓ?ｂｙ?－?＞?ｉｎ?Ｑｕｅｕｉｎｇ??＾?Ｉｎｓｔａｎｃｅｓ?［ＡｃｔｉｖｉｔｙＴｙｐｅ??Ｓｙｓｔｅｍ?—??！?一一?ｙ??＾?Ｑｕｅｕｉｎｇ?／?Ｓｔａｔｕｓ??．２?Ｐａｒａｍｅｔｅｒｓ?／?ｔｒａｎｓｉｔｉｏｎ??ｕ????Ｙ?，??｜?￣?Ｔｒａ＿ｉｓｓｉ〇ｎ?③?ｎｍｐｏｄ?＾???Ｗ?Ａｃｑｕｉｒｉｎｇ?＾?ｐａｒａｍｅｔｅｒｓ??１??Ｐｒｅｄｉｃｔｉｏｎ?Ｒｅｓｕｌｔｓ?Ｖ

每一類工作流活動與其對應(yīng)的云服務(wù)構(gòu)成一個排隊系統(tǒng)，而通過業(yè)務(wù)邏輯連接的??排隊系統(tǒng)則形成了一個排隊網(wǎng)絡(luò)。??如圖３－３所示，某個流程由若干個業(yè)務(wù)節(jié)點按照業(yè)務(wù)邏輯連接而成，在短時??間內(nèi)該業(yè)務(wù)流程實例化生成大量相同類型的商務(wù)工作流實例。同類型的工作流活??動在圖中用同種顏色表示，它們依次進入同一個排隊系統(tǒng)當中等待執(zhí)行。某個工??作流實例的活動執(zhí)行完之后離開當前排隊系統(tǒng)，進入下一個排隊系統(tǒng)中等待執(zhí)行，??以此類推，直到整個實例執(zhí)行完成。排隊系統(tǒng)中的云服務(wù)屬于對應(yīng)類型的工作流??活動的專用資源，即每一個云服務(wù)只能響應(yīng)同一類型的工作流活動。由于每種類??型的活動的時間屬性不同，每一個排隊系統(tǒng)的排隊特征（包括隊列長度、平均等??待時間和云服務(wù)數(shù)量等）也各不相同。??３１??
【相似文獻】

相關(guān)期刊論文 前10條

1 謝毅;賀田塔;倪倩蕓;吳汗青;;面向能耗的云工作流調(diào)度優(yōu)化[J];系統(tǒng)工程理論與實踐;2017年04期

2 呂博文;楊懷洲;;工作流技術(shù)綜述[J];智能計算機與應(yīng)用;2018年01期

3 王福田;李月婷;章程;張以文;劉曉;楊耘;;實例密集型商務(wù)工作流檢測點選擇策略[J];計算機集成制造系統(tǒng);2018年07期

4 聶竹青;陳智明;周湘超;陳義明;;評估機構(gòu)分公司管理工作流系統(tǒng)的研究與設(shè)計[J];中國資產(chǎn)評估;2017年04期

5 侯敏;;基于工作流的實驗室設(shè)備管理系統(tǒng)的架構(gòu)設(shè)計[J];數(shù)碼世界;2017年06期

6 王亞林;;基于微軟平臺的工作流技術(shù)開發(fā)實踐與研究[J];數(shù)碼世界;2017年09期

7 李洪波;;基于狀態(tài)的可嵌入工作流系統(tǒng)設(shè)計[J];計算機與現(xiàn)代化;2011年02期

8 殷慧文;易俗;;工作流系統(tǒng)中一種基于任務(wù)-角色的委托模型[J];遼寧大學(xué)學(xué)報(自然科學(xué)版);2011年02期

9 張寧;岳耀志;;工作流系統(tǒng)在濟寧聯(lián)通的應(yīng)用[J];科協(xié)論壇(下半月);2010年01期

10 桑莉莉;;工作流系統(tǒng)適應(yīng)性檢查點機制的研究[J];計算機應(yīng)用與軟件;2010年03期

相關(guān)博士學(xué)位論文 前10條

1 栗娟;面向移動云工作流的資源調(diào)度研究[D];武漢大學(xué);2018年

2 羅浩宇;云環(huán)境下商務(wù)工作流的時序正確性研究[D];武漢大學(xué);2018年

3 龔曉慶;基于Web服務(wù)的分布式工作流管理系統(tǒng)研究[D];西北大學(xué);2004年

4 董云衛(wèi);工作流管理系統(tǒng)的事務(wù)建模研究[D];西北大學(xué);2004年

5 吳士亮;面向行業(yè)的商品化管理信息系統(tǒng)框架構(gòu)建與方法研究[D];南京理工大學(xué);2005年

6 杜栓柱;分布式協(xié)同工作環(huán)境中時間工作流建模技術(shù)研究[D];浙江大學(xué);2004年

7 張柯;聯(lián)邦全過程全系統(tǒng)管理方法及技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2005年

8 肖鄭進;面向企業(yè)應(yīng)用的工作流精簡建模研究[D];浙江大學(xué);2006年

9 任怡;分布異構(gòu)環(huán)境中事務(wù)工作流技術(shù)的研究[D];國防科學(xué)技術(shù)大學(xué);2005年

10 陸劍江;支持工作流系統(tǒng)動態(tài)變化的柔性及適應(yīng)性技術(shù)研究[D];蘇州大學(xué);2004年

相關(guān)碩士學(xué)位論文 前10條

1 孫小雅;科學(xué)工作流建模方法研究[D];吉林大學(xué);2019年

2 王業(yè)國;云計算下商務(wù)工作流的時序管理研究[D];安徽大學(xué);2019年

3 王嘉祺;基于星環(huán)大數(shù)據(jù)平臺的工作流管理系統(tǒng)的設(shè)計與實現(xiàn)[D];南京大學(xué);2019年

4 姚升鋼;基于工作流的財務(wù)預(yù)算管理系統(tǒng)研究[D];浙江工業(yè)大學(xué);2018年

5 李月婷;基于預(yù)測的商務(wù)工作流運行狀態(tài)處理研究[D];安徽大學(xué);2019年

6 張濤;基于工作流的邊檢技術(shù)保障管理系統(tǒng)設(shè)計與實現(xiàn)[D];西安電子科技大學(xué);2018年

7 張淑云;基于蜂群與遺傳混合算法的多目標云工作流任務(wù)調(diào)度機制研究[D];內(nèi)蒙古大學(xué);2019年

8 黃凱鋒;基于工作流的高校外事管理系統(tǒng)的研究與設(shè)計[D];上海交通大學(xué);2017年

9 陳兵;基于微軟工作流的運維管理系統(tǒng)的設(shè)計和實現(xiàn)[D];上海交通大學(xué);2017年

10 金延慶;企業(yè)移動化工作流系統(tǒng)的研究與實現(xiàn)[D];上海交通大學(xué);2016年

本文編號：2877640