Web服務(wù)合成的若干關(guān)鍵技術(shù)研究.pdf

1、Web服務(wù)可實現(xiàn)應(yīng)用程序在Internet上的互操作，已成為一種具有發(fā)展?jié)摿Φ募杉夹g(shù)。Web的一個重要特點和一個基本要求是服務(wù)合成，即組合已有服務(wù)以實現(xiàn)新的功能。這已引起了廣泛的研究興趣，一些合成規(guī)范如BPEL4WS、WSCI已經(jīng)被提出。然而，不僅這些規(guī)范尚未形成統(tǒng)一的標準，而且規(guī)范自身也還存在著一些亟待發(fā)展和改進之處。 Web服務(wù)合成涉及服務(wù)的選擇、合成、驗證與優(yōu)化。本文從服務(wù)合成的基礎(chǔ)開始，研究基于應(yīng)用標準的最優(yōu)服務(wù)選擇方

2、法；在此基礎(chǔ)上，提出滿足用戶即時定制需求的服務(wù)自動合成技術(shù)；進而給出分析Web服務(wù)合成流程的正確性驗證算法。所取得的主要成果如下： 1.一種選擇最優(yōu)Web服務(wù)的方法。該方法首先定義和收集Web服務(wù)主觀信譽值，然后根據(jù)服務(wù)質(zhì)量(QoS)模型，計算Web服務(wù)的客觀質(zhì)量值，最后導(dǎo)出面向應(yīng)用的最優(yōu)候選Web服務(wù)，建立了基于反饋的Web服務(wù)的評價體系。 2．一個柔性的Web服務(wù)工作流模型。該模型形式化地描述每個Web服務(wù)活動，建立

3、基于任務(wù)依賴規(guī)范的服務(wù)自動合成方法，滿足用戶的即時定制需求。所設(shè)計的合成流程正確性驗證算法以及動態(tài)補償機制使模型更易于實用。 3．自底向上與自頂向下的合成分析方法?；赪eb服務(wù)行為的自動機模型，設(shè)計了兩類Web服務(wù)合成驗證方法。在自底向上的分析方法中，通過引入client／server思想，定義了Web服務(wù)合成時服務(wù)的相容性概念。在此基礎(chǔ)上，設(shè)計了相容性分析算法，驗證合成流程的正確性；在自頂向下的分析方法中，提出了一個描述原子

4、服務(wù)與合成服務(wù)關(guān)系的框架，規(guī)范合成服務(wù)形成的全局會話。設(shè)計了會話正確性的驗證算法及合成服務(wù)投影方法。對于正確的合成會話，按照投影結(jié)果來設(shè)計各個原子服務(wù)的行為。 4．基于上述合成模型及分析方法，實現(xiàn)了原型系統(tǒng)。 上述研究成果，系統(tǒng)地闡述了Web服務(wù)合成的若干關(guān)鍵技術(shù)，不僅可以應(yīng)用于B2B商業(yè)應(yīng)用，在科研領(lǐng)域中也有很好的應(yīng)用前景，如生物信息領(lǐng)域、氣象預(yù)報、分布式計算以及網(wǎng)格服務(wù)等等。 本項研究工作受到國家基礎(chǔ)研究計劃