基于BPEL4WS的工作流可視化過程定義工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、近年來，隨著計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)的迅速發(fā)展以及企業(yè)的信息化程度的提高，企業(yè)的信息資源越來越表現(xiàn)出一種異構(gòu)、分布、松散耦合的特點(diǎn)。企業(yè)業(yè)務(wù)操作的分散性、Client/Server、Brower/Server體系結(jié)構(gòu)以及分布式處理技術(shù)的日益成熟等，都說明了這樣一個(gè)事實(shí)：集中式信息處理的時(shí)代已經(jīng)過去，實(shí)現(xiàn)大規(guī)模、異構(gòu)、分布式執(zhí)行環(huán)境，使得相互關(guān)聯(lián)的任務(wù)能夠高效運(yùn)轉(zhuǎn)并接受密切監(jiān)控成為一種趨勢。 工作流管理技術(shù)是實(shí)現(xiàn)企業(yè)業(yè)務(wù)過程重組、過程管理與

2、過程自動(dòng)化的核心技術(shù)，是實(shí)施先進(jìn)制造戰(zhàn)略的客觀需求。工作流建模就是將實(shí)際的經(jīng)營過程描述成計(jì)算機(jī)可處理的形式化表示，它是工作流管理技術(shù)研究的基礎(chǔ)。工作流管理聯(lián)盟WfMC對(duì)工作流管理系統(tǒng)進(jìn)行了研究，并以文獻(xiàn)標(biāo)準(zhǔn)的形式定義了工作流管理系統(tǒng)的體系結(jié)構(gòu)，各部分之間接口功能設(shè)計(jì)。 2002年，IBM、Microsoft等公司提出了有關(guān)Web服務(wù)集成的新規(guī)范——基于Web服務(wù)的商業(yè)流程執(zhí)行語言BPEL4WS(BusinessProcessEx

3、ecutionLanguageforWebServices)。這個(gè)規(guī)范用于WebServices的整合，并已逐漸得到業(yè)界的認(rèn)可。本文從理論和實(shí)踐兩個(gè)方面對(duì)基于BPEL4WS的工作流管理技術(shù)進(jìn)行了較為深入的研究和探索，其中作者主要的工作如下： 1)對(duì)工作流技術(shù)和工作流管理系統(tǒng)進(jìn)行介紹和分析，理清這些概念將有助于其他工作的開展； 2)分析和研究WebService技術(shù)及基于WebService定義的商業(yè)流程執(zhí)行語言BPEL4

4、WS，并對(duì)當(dāng)前工作流建模中使用的其它語言進(jìn)行了介紹和分析。 3)介紹并分析了基于BPEL4WS的工作流管理系統(tǒng)的體系結(jié)構(gòu)； 4)提出了基于BPEL4WS的模型檢查和BPEL4WS校驗(yàn)方法，并在過程定義工具中得以實(shí)現(xiàn)。 5)分析了BPEL4WS可視化過程定義工具的功能需求，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)BPEL4WS可視化過程定義工具。 本文分為三部分。第一章為第一部分，介紹了工作流管理系統(tǒng)的基本概念和發(fā)展趨勢。第二部分