【摘要】：針對(duì)已有方法不支持同時(shí)對(duì)服務(wù)的語(yǔ)義、接口和協(xié)議層進(jìn)行相容性分析的問(wèn)題,提出了一種基于語(yǔ)義、接口和協(xié)議信息的服務(wù)相容性分析及相容度計(jì)算方法。通過(guò)對(duì)確定有限自動(dòng)機(jī)DFA進(jìn)行語(yǔ)義接口協(xié)議擴(kuò)展以建模服務(wù)的語(yǔ)義、接口和協(xié)議信息,在此基礎(chǔ)上,給出了服務(wù)之間3種相容性的形式化定義。利用服務(wù)之間行為路徑對(duì)的對(duì)偶關(guān)系來(lái)分析2個(gè)服務(wù)之間的相容性,并計(jì)算其相容度證明了該方法的正確性,通過(guò)實(shí)例分析表明了方法的有效性。
[Abstract]:Aiming at the problem that the existing methods do not support the compatibility analysis of semantic interface and protocol layer at the same time a method of service compatibility analysis and compatibility calculation based on semantic interface and protocol information is proposed. By extending the semantic interface protocol of deterministic finite automata (DFA) to model the semantics, interfaces and protocol information of services, the formal definitions of three kinds of compatibility among services are given. The compatibility between the two services is analyzed by using the dual relation of the behavioral path pairs between services, and the correctness of the method is proved by calculating the compatibility degree of the two services. An example is given to show the effectiveness of the method.
【作者單位】： 南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;解放軍理工大學(xué)指揮信息系統(tǒng)學(xué)院;
【基金】：國(guó)家863計(jì)劃資助項(xiàng)目(2009AA010307) 國(guó)家自然科學(xué)基金資助項(xiàng)目(61272083,61170043,61100034) 中國(guó)博士后科學(xué)基金資助項(xiàng)目(20110491411) 江蘇省博士后科研計(jì)劃資助項(xiàng)目(1101092C)
【分類號(hào)】：TP393.09

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 楊錦川;局域網(wǎng)WEB服務(wù)故障一例[J];中國(guó)計(jì)算機(jī)用戶;2000年14期

2 陳本輝;高校校園網(wǎng)建設(shè)及應(yīng)用[J];大理醫(yī)學(xué)院學(xué)報(bào);2001年S1期

3 ;Borland宣布支持Java~(TM)的Web服務(wù)戰(zhàn)略[J];電腦編程技巧與維護(hù);2001年11期

4 ;Sun ONE在目錄服務(wù)上的優(yōu)勢(shì)[J];華南金融電腦;2002年10期

5 ;融合:殊途同歸的四種構(gòu)想[J];互聯(lián)網(wǎng)周刊;2002年41期

6 吳青泉,申德榮,于戈,楊丹;一個(gè)面向企業(yè)動(dòng)態(tài)聯(lián)盟的Web服務(wù)合成系統(tǒng)[J];計(jì)算機(jī)集成制造系統(tǒng)-CIMS;2003年08期

7 宋善德,王雪飛;基于Web服務(wù)的企業(yè)應(yīng)用集成方案[J];計(jì)算機(jī)應(yīng)用研究;2003年06期

8 羅新星,陳偉謀;利用WEB SERVICES集成管理信息系統(tǒng)中的WEB應(yīng)用[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2003年06期

9 梁伍七,壽志勤;基于Web服務(wù)的分布式應(yīng)用集成模型及其實(shí)現(xiàn)[J];安徽教育學(xué)院學(xué)報(bào);2003年06期

10 李鎣;基于Web服務(wù)的應(yīng)用系統(tǒng)架構(gòu)方法研究[J];河南大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年03期

相關(guān)會(huì)議論文 前10條

1 尤軍;;談氣象Web服務(wù)的網(wǎng)絡(luò)安全問(wèn)題[A];網(wǎng)絡(luò)安全技術(shù)的開(kāi)發(fā)應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2002年

2 蔡子龍;俞集輝;;基于Web服務(wù)的遠(yuǎn)程報(bào)表打印系統(tǒng)的研究[A];電工理論與新技術(shù)2004年學(xué)術(shù)研討會(huì)論文集[C];2004年

3 劉正濤;毛宇光;應(yīng)毅;;基于Web服務(wù)的分布式Web應(yīng)用框架研究[A];第一屆全國(guó)Web信息系統(tǒng)及其應(yīng)用會(huì)議（WISA2004）論文集[C];2004年

4 任濤;李玉忱;劉乃麗;;面向動(dòng)態(tài)環(huán)境的Web服務(wù)合成系統(tǒng)[A];第一屆全國(guó)Web信息系統(tǒng)及其應(yīng)用會(huì)議（WISA2004）論文集[C];2004年

5 張偉燕;席傳裕;;J2EE中異步Web服務(wù)的研究與應(yīng)用[A];第一屆全國(guó)Web信息系統(tǒng)及其應(yīng)用會(huì)議（WISA2004）論文集[C];2004年

6 李濱;劉瑩;;UDDI注冊(cè)中心綜述[A];中國(guó)企業(yè)運(yùn)籌學(xué)[C];2009年

7 劉青;連祥鑒;;基于上下文的Web服務(wù)動(dòng)態(tài)組合[A];2008年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(上冊(cè))[C];2008年

8 曾誠(chéng);李兵;何克清;;KMP算法在Web服務(wù)語(yǔ)義標(biāo)注中的應(yīng)用[A];2010年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集[C];2010年

9 唐勇;劉玉芳;孔曉峰;;基于Specification的保護(hù)Web服務(wù)的入侵檢測(cè)技術(shù)研究[A];第一屆全國(guó)Web信息系統(tǒng)及其應(yīng)用會(huì)議（WISA2004）論文集[C];2004年

10 成睿星;蘇森;楊放春;;使用范例推理的服務(wù)組合方法研究[A];2006年全國(guó)通信軟件學(xué)術(shù)會(huì)議論文集[C];2006年

相關(guān)重要報(bào)紙文章 前10條

1 樸華;SilverStream延伸Web服務(wù)[N];中國(guó)計(jì)算機(jī)報(bào);2002年

2 樂(lè)天;SOA構(gòu)建要注意什么？[N];計(jì)算機(jī)世界;2004年

3 ;Web服務(wù)實(shí)現(xiàn)（連載7）[N];上�？萍紙�(bào);2002年

4 邊一;五大預(yù)測(cè)Web服務(wù)中的安全機(jī)制[N];網(wǎng)絡(luò)世界;2003年

5 李浩;Web服務(wù)的陽(yáng)光之旅[N];網(wǎng)絡(luò)世界;2004年

6 本報(bào)記者 薛斐;Web服務(wù)不神秘！[N];計(jì)算機(jī)世界;2002年

7 子華;貼有Web服務(wù)標(biāo)簽的SilverStream[N];計(jì)算機(jī)世界;2002年

8 ;深圳移動(dòng)實(shí)現(xiàn)WEB服務(wù)[N];網(wǎng)絡(luò)世界;2002年

9 ;Web服務(wù)世界現(xiàn)在還好嗎？[N];網(wǎng)絡(luò)世界;2003年

10 ;Web服務(wù)推動(dòng)BI演進(jìn)[N];網(wǎng)絡(luò)世界;2003年

相關(guān)博士學(xué)位論文 前10條

1 任志宏;Web服務(wù)復(fù)合的若干關(guān)健問(wèn)題研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2004年

2 吳健;基于Web服務(wù)的網(wǎng)絡(luò)化產(chǎn)品配置技術(shù)研究[D];浙江大學(xué);2004年

3 劉安豐;基于QoS的分布式Web服務(wù)結(jié)構(gòu)模型及其關(guān)鍵技術(shù)研究[D];中南大學(xué);2005年

4 史玉良;Web服務(wù)合成的若干關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2006年

5 龔曉慶;基于Web服務(wù)的分布式工作流管理系統(tǒng)研究[D];西北大學(xué);2004年

6 湯景凡;動(dòng)態(tài)Web服務(wù)組合的關(guān)鍵技術(shù)研究[D];浙江大學(xué);2005年

7 肖穎;電子商務(wù)環(huán)境下基于Web Services的多代理自動(dòng)協(xié)商系統(tǒng)的模型和若干關(guān)鍵技術(shù)研究[D];浙江大學(xué);2006年

8 劉必欣;動(dòng)態(tài)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2005年

9 楊文軍;Web服務(wù)組裝關(guān)鍵技術(shù)研究[D];清華大學(xué);2005年

10 盧劉明;基于語(yǔ)義的web服務(wù)發(fā)現(xiàn)與組合關(guān)鍵技術(shù)研究[D];東華大學(xué);2006年

相關(guān)碩士學(xué)位論文 前10條

1 王文娟;基于UDDI的Web服務(wù)信息發(fā)布系統(tǒng)[D];西北工業(yè)大學(xué);2003年

2 陳越;基于Web服務(wù)的高校教務(wù)管理系統(tǒng)的設(shè)計(jì)和實(shí)現(xiàn)[D];蘇州大學(xué);2003年

3 徐遠(yuǎn)芳;消息中間件在Web服務(wù)中的應(yīng)用及面向Web服務(wù)的消息中間件設(shè)計(jì)[D];廣西大學(xué);2004年

4 孟文生;基于J2ME的移動(dòng)Web服務(wù)研究[D];山東師范大學(xué);2006年

5 王衛(wèi)玲;基于SOA的Web Services集成技術(shù)研究[D];廣西大學(xué);2007年

6 張曉丹;基于SOAP/XML的應(yīng)用集成模型的設(shè)計(jì)與實(shí)現(xiàn)[D];暨南大學(xué);2003年

7 黃立冬;基于UDDI的Web服務(wù)注冊(cè)中心的原型實(shí)現(xiàn)[D];昆明理工大學(xué);2003年

8 李朱超;基于Web Services協(xié)議棧的虛擬業(yè)務(wù)動(dòng)態(tài)裝配機(jī)制[D];湖南師范大學(xué);2004年

9 侍連崗;基于Web Services事務(wù)性組合研究[D];南京理工大學(xué);2004年

10 合明;多組織工作流消息引擎的設(shè)計(jì)與實(shí)現(xiàn)[D];蘇州大學(xué);2004年

，

本文編號(hào)：2454380