E-Service接口行為分析及其在服務(wù)組合中的應(yīng)用.pdf

1、近年來，Web服務(wù)及其應(yīng)用已經(jīng)成為互聯(lián)網(wǎng)發(fā)展一個主要趨勢和研究的重點。Web服務(wù)研究和應(yīng)用的重點是通過服務(wù)組合的方式把松散的Web服務(wù)連接起來構(gòu)建新應(yīng)用和服務(wù)。但是服務(wù)的組合涉及多個方面的問題，如組合服務(wù)的流程描述，服務(wù)接口的描述，服務(wù)的發(fā)現(xiàn)和匹配，服務(wù)的交互，服務(wù)的自動組合等，雖然在研究和工業(yè)領(lǐng)域已經(jīng)有很多的工作和成果，但是還存在很多問題使服務(wù)組合在實際應(yīng)用中受阻，如接口描述不完整導(dǎo)致服務(wù)查找不夠精確。論文的工作主要包括以下幾個方面：

2、 (1) 服務(wù)的交互往往是一個具有狀態(tài)信息的會話過程，因此接口的行為特征不僅僅限于靜態(tài)行為，還要描述服務(wù)是如何參與到交互——動態(tài)行為。服務(wù)接口的描述是服務(wù)查找和組合基礎(chǔ)，描述能力的強弱直接影響到其他的能力。針對這個問題，本文提出一個基于自動機的服務(wù)行為接口描述方法，并通過行為接口來檢查兩個接口之間的交互是否是一致的，稱為接口兼容檢查。通過接口兼容，可以直接在接口的動態(tài)行為這個層次對接口行為進行檢查，因此可以應(yīng)用于組合的查找和匹配

3、，在傳統(tǒng)方法基礎(chǔ)上提供查找的精確度，在組合過程中對組合服務(wù)提供設(shè)計時的檢查和驗證等。 (2) Web服務(wù)的交互環(huán)境是Internet，Internet沒有全局時鐘，交互協(xié)議也不是同步，因此Web服務(wù)的交互是異步消息交互。針對異步環(huán)境下，服務(wù)交互行為是不可判定的這個特性，本文應(yīng)用協(xié)議兼容的可同步條件來研究接口之間的交互。通過分析，得到了異步環(huán)境下保證滿足可同步條件的接口兼容方法，并證明了這個方法是充分而且完備的。 (3)

4、平面的自動機行為模型在描述實際的服務(wù)行為時存在一些缺陷，這影響了它的應(yīng)用，比如：狀態(tài)數(shù)很多，對某些語言結(jié)構(gòu)不支持等。為了解決接口兼容在實際應(yīng)用中的瓶頸，我們提出了采用基于statecharts的結(jié)構(gòu)化自動機來描述行為接口。結(jié)果表明，結(jié)構(gòu)化自動機可以明顯減少狀態(tài)數(shù)目，有效減少復(fù)雜度，對某些復(fù)雜的行為結(jié)構(gòu)提供直接支持。而且，結(jié)構(gòu)化自動機的另一個優(yōu)點是可以不必平鋪自動機就可以分析接口行為，比如接口兼容檢查和可同步條件檢查，為接口兼容的應(yīng)用進一