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

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

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