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

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

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

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

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