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

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

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