基于工作流的Web服務(wù)組合.pdf

1、目前，Web服務(wù)已經(jīng)開始由基礎(chǔ)構(gòu)建階段向大規(guī)模企業(yè)應(yīng)用階段發(fā)展。但是，Web服務(wù)本身沒有語義和流程的概念，單個的Web服務(wù)功能有限，難以滿足復雜的應(yīng)用需求，這就需要Web服務(wù)進行組合。工作流理論研究的是一種對工作流程進行優(yōu)化的方法，其作為組合Web服務(wù)的一個重要的機制，對于快速創(chuàng)建新的、功能更強大的Web服務(wù)來說至關(guān)重要。 業(yè)務(wù)流程建模是基于工作流的服務(wù)組合的關(guān)鍵。傳統(tǒng)的工作流模型主要考慮如何整合已知的業(yè)務(wù)組件或業(yè)務(wù)模塊，往往不

2、具備組件松散耦合、動態(tài)發(fā)現(xiàn)和XML消息處理能力。另外，傳統(tǒng)的工作流模型，語義描述和執(zhí)行描述不能有效結(jié)合，同時業(yè)務(wù)流程只能作為整體推薦，也沒有提供控制業(yè)務(wù)功能粒度的機制。 本文針對上述業(yè)務(wù)流程建模的現(xiàn)狀和問題進行研究，主要做了如下工作： 1.在傳統(tǒng)工作流建模的基礎(chǔ)上，給出了一個業(yè)務(wù)流程的層次模型化描述方法。它不僅能描述業(yè)務(wù)流程本身，還能很好地描述業(yè)務(wù)子流程。 2.給出了層次模型化描述方法的驗證算法。驗證主要包括有效