基于行為的Web服務(wù)相容性與可替換性研究.pdf

1、近年來，隨著互聯(lián)網(wǎng)技術(shù)與網(wǎng)絡(luò)應(yīng)用程序的迅速發(fā)展，基于Web服務(wù)的分布式計算模式正在成為技術(shù)發(fā)展的新趨勢。Web服務(wù)是一種基于網(wǎng)絡(luò)的、分布式的、自捕述的、模塊化的組件，它按照～定的規(guī)范，實現(xiàn)特定的功能，提供了面向Internet應(yīng)用程序的統(tǒng)一的服務(wù)注冊、發(fā)現(xiàn)、綁定和集成的機制。而Web服務(wù)組合可以使多個服務(wù)合作協(xié)調(diào)工作，以實現(xiàn)更加復(fù)雜的功能，成為廣域環(huán)境下實現(xiàn)互操作的一種主要機制。
　　 Web服務(wù)組合是Web服務(wù)的研究重點。為了

2、確保多個服務(wù)之間可以協(xié)調(diào)工作，實現(xiàn)特定的功能，需要參與合成的各個服務(wù)的行為滿足一定的條件，從而達到各服務(wù)之間行為兼容的目的。另外為了保證服務(wù)組合的靈活性，需要考慮服務(wù)之間的替換性關(guān)系，即在服務(wù)組合的過程中，用一個新的服務(wù)替換一個參與合成的服務(wù)，并且替換后的服務(wù)不會引起服務(wù)組合中出現(xiàn)不相容的關(guān)系。
　　 本文提出了兩個Web服務(wù)協(xié)調(diào)工作時相容性的判定標準，并且根據(jù)這一判定標準，設(shè)計了一種基于進程代數(shù)和自動機的形式化的判定方法，并結(jié)