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

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

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

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

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