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

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

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

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

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