面向服務(wù)的工作流管理系統(tǒng)及其可靠性研究.pdf

1、工作流技術(shù)是當(dāng)前非常活躍的研究領(lǐng)域之一,無論是企業(yè)內(nèi)部應(yīng)用的集成還是外部B2B集成,工作流技術(shù)都是最主要的方法.工作流是業(yè)務(wù)流程的計(jì)算模型,即將相應(yīng)的業(yè)務(wù)邏輯和業(yè)務(wù)規(guī)則在計(jì)算機(jī)中以恰當(dāng)?shù)哪Ｐ瓦M(jìn)行表示并對其實(shí)施計(jì)算<'[1,2]>.業(yè)務(wù)流程是若干業(yè)務(wù)活動(dòng)的集合,這些業(yè)務(wù)活動(dòng)按照一定的規(guī)則前后鏈接在一起,相互協(xié)作,以便達(dá)到一個(gè)共同的目標(biāo).業(yè)務(wù)活動(dòng)則是能夠完成特定功能的一個(gè)實(shí)際環(huán)節(jié),它在信息系統(tǒng)中通常針對具體的應(yīng)用邏輯.Web是為了程序到用戶

2、的交互,而Web服務(wù)是為程序到程序的交互做準(zhǔn)備.Web服務(wù)使公司可以降低進(jìn)行電子商務(wù)的成本、更快的部署解決方案以及開拓新機(jī)遇.Web服務(wù)使應(yīng)用程序的集成比以前更快、更容易而且更便宜.集成在協(xié)議棧中較高層發(fā)生,它基于更注重服務(wù)語義而不那么注重網(wǎng)絡(luò)協(xié)議語義的消息,從而實(shí)現(xiàn)了業(yè)務(wù)功能的松散集成.這些特性對于在企業(yè)之間和企業(yè)內(nèi)部通過Web連接業(yè)務(wù)功能是非常理想的.ISFLOW是中科院軟件所軟件工程技術(shù)研究與開發(fā)中心所開發(fā)的具有自主產(chǎn)權(quán)的工作流管

3、理系統(tǒng).它將所有的外部應(yīng)用(包括Web服務(wù))都定義為服務(wù),從而達(dá)到了靈活集成已有應(yīng)用的目的.并且,最后的流程可以被包裝成Web服務(wù)向外發(fā)布,以利于被其它的應(yīng)用所集成調(diào)用.該文圍繞ISFLOW系統(tǒng),介紹了作者主要從事的工作.ISFLOW是一個(gè)面向服務(wù)的工作流管理系統(tǒng),它將所有待集成的應(yīng)用都統(tǒng)一為服務(wù)的形式加以使用.論文的第四章對ISFLOW的系統(tǒng)結(jié)構(gòu)進(jìn)行了介紹,同時(shí)描述了工作流的模型和運(yùn)行時(shí)的主要算法——死路徑消除算法和流程實(shí)例運(yùn)行算法.

4、為了保證投入運(yùn)行的流程模型不存在結(jié)構(gòu)性的錯(cuò)誤,論文的第五章介紹了我們在工作流結(jié)構(gòu)可靠性方面所做的研究——基于流程表達(dá)式的結(jié)構(gòu)正確性驗(yàn)證算法.與已有的眾多研究不同,我們從流程表達(dá)式之間的關(guān)系著手,分析了表達(dá)式之間可能存在的關(guān)系,以及不同關(guān)系可能導(dǎo)致的流程結(jié)構(gòu)的沖突.最后,我們提供了基于流程表達(dá)式的流程模型結(jié)構(gòu)驗(yàn)證算法,在流程部署到流程服務(wù)器之前能夠進(jìn)行全面的結(jié)構(gòu)驗(yàn)證.結(jié)構(gòu)正確的流程并不能完全保證在運(yùn)行過程中不出現(xiàn)異常情況.一個(gè)成熟的工作流