工作流系統(tǒng)動態(tài)性研究.pdf

1、同濟大學(xué)電子與信息工程學(xué)院博士學(xué)位論文工作流系統(tǒng)動態(tài)性研究姓名：李文波申請學(xué)位級別：博士專業(yè)：模式識別與智能系統(tǒng)指導(dǎo)教師：李啟炎20030701二、對工作流模式／實例動態(tài)修改進行研究本論文著重討論了基于腳本語言的工作流動態(tài)修改技術(shù)設(shè)計了一套完整的工作流模式修改語言。結(jié)合工作流對象中使用ECA規(guī)則將控制節(jié)點分解存放于任務(wù)對象，實現(xiàn)了工作流動態(tài)修改的完備性和自動化。提出了針對工作流實例動態(tài)修改的一系列合法性檢驗準(zhǔn)則，同時給出了形式化定義。對

2、基于腳本語言的工作流動態(tài)修改可行性檢驗進行了深入的研究。提出了一套完整的工作流動態(tài)修改可行性檢驗機制，可以檢測出工作流模型中存在的同步缺失、死鎖、不可達節(jié)占’、不確定輸入?yún)?shù)、輸出參數(shù)未引用和錯位參數(shù)等一系列的隱含錯誤，從而實現(xiàn)工作流動態(tài)修改及可行性檢驗的完全自動化。相比較傳統(tǒng)工作流系統(tǒng)缺乏對工作流動態(tài)修改的良好支持，本文有關(guān)基于腳本語言的工作流動態(tài)修改及可行性檢驗方面的研究，為工作流動態(tài)修改的完備性、有效性和可行性提供了有力的保障和支

3、持。●論文深入研究并提出了一種基于工作流版本化的三階段工作流動態(tài)演化算法，不論工作流運行處于何種狀態(tài)都能成功地向新模型轉(zhuǎn)換，克服了工作流實例動態(tài)修改與工作流任務(wù)狀態(tài)密切相關(guān)的弊病。在分析了新舊模型的結(jié)構(gòu)顯式吻合諸多不足的基礎(chǔ)上，創(chuàng)新性的提出了隱式吻合的概念，通過消除工作流動態(tài)修改中的一些虛假改變，更精確地定位工作流動態(tài)修改，極大地降低了動態(tài)改變的誤識別率，最大限度地減少了工作流任務(wù)的不必要回滾。工作流模型隱式吻合和顯式吻合的結(jié)合使用，使

4、工作流演化具備了一定的智能性，同時使工作流演化更趨實用化。在上述研究基礎(chǔ)上，提出了基于Web服務(wù)動態(tài)分布式工作流系統(tǒng)實現(xiàn)策略，提出了基于Web服務(wù)實現(xiàn)跨企業(yè)、跨地域的工作流系統(tǒng)解決方案，并針對Web服務(wù)的不足提出了任務(wù)代理機制以實現(xiàn)工作流系統(tǒng)與應(yīng)用程序的標(biāo)準(zhǔn)集成框架。提出了基于Web服務(wù)的動態(tài)分布式工作流系統(tǒng)可擴展體系結(jié)構(gòu)，在應(yīng)用服務(wù)器傳統(tǒng)的三層體系架構(gòu)基礎(chǔ)上，增加了一層工作流監(jiān)控調(diào)度應(yīng)用服務(wù)器，使分布的工作流引擎負載均衡，整個體系結(jié)構(gòu)