E-Service接口行為分析及其在服務組合中的應用.pdf

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

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

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

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