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

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

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

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

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