本文關(guān)鍵詞：一種需求驅(qū)動的服務(wù)行為適配方法

  更多相關(guān)文章： Web服務(wù) FSM模型 行為模型 適配器 用戶需求

【摘要】：現(xiàn)有服務(wù)行為適配方法通常側(cè)重于如何消除服務(wù)之間行為上的不相容而往往沒有考慮用戶的需求,因而需要對基于適配器的服務(wù)組合進(jìn)行需求的可滿足性驗證,這使得基于適配器的服務(wù)組合過程復(fù)雜且低效。針對此問題,在適配器生成過程中考慮用戶的需求,提出一種需求驅(qū)動的服務(wù)行為適配方法,并給出用于描述用戶需求的形式模型的語法及語義。證明了利用本文方法所生成的適配器不僅可以消除服務(wù)之間行為上的不相容,并且保證基于適配器的服務(wù)組合的行為滿足需求給出的時序約束,避免了對基于適配器的服務(wù)組合進(jìn)行驗證。通過一個貫穿全文的實例分析表明了方法的可行性和有效性。
【作者單位】： 南京航空航天大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院;南京曉莊學(xué)院數(shù)學(xué)與信息技術(shù)學(xué)院;
【關(guān)鍵詞】： Web服務(wù) FSM模型 行為模型 適配器 用戶需求
【基金】：國家自然科學(xué)基金資助項目(61272083;61202136;61262002) 國家“863”高技術(shù)研究發(fā)展計劃資助項目(2009AA010307) 中國博士后科學(xué)基金資助項目(20110491411)
【分類號】：TP393.09
【正文快照】： Web服務(wù)作為實現(xiàn)SOA架構(gòu)的重要技術(shù)有效地解決了在分布、動態(tài)、異構(gòu)環(huán)境下分布式應(yīng)用集成問題。由于單個Web服務(wù)提供的功能有限,為了滿足實際應(yīng)用的需要,常常通過組合已有Web服務(wù)以形成增值的、具有更大粒度的Web服務(wù)。隨著服務(wù)組合方法的不斷成熟和廣泛應(yīng)用,網(wǎng)絡(luò)上出現(xiàn)越來越

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前4條

1 殷昱煜;李瑩;鄧水光;尹建偉;;Web服務(wù)行為一致性與相容性判定[J];電子學(xué)報;2009年03期

2 張廣泉;戎玫;王f;;時間感知Web服務(wù)交互行為建模與失配檢測方法研究[J];電子學(xué)報;2011年11期

3 史玉良;王海洋;張亮;施伯樂;;Web服務(wù)合成的相容性與替換性分析[J];計算機(jī)研究與發(fā)展;2007年11期

4 杜彥華;范玉順;李喜彤;;基于模塊化可達(dá)圖的服務(wù)組合驗證及BPEL代碼生成[J];軟件學(xué)報;2010年08期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 王勇;代桂平;侯亞榮;方娟;任興田;;基于并發(fā)事務(wù)邏輯的Web服務(wù)編制驗證[J];電子學(xué)報;2009年10期

2 張廣泉;戎玫;王f;;時間感知Web服務(wù)交互行為建模與失配檢測方法研究[J];電子學(xué)報;2011年11期

3 畢敬;朱志良;范玉順;;Web服務(wù)組合中行為兼容性分析與優(yōu)化控制策略[J];電子學(xué)報;2011年12期

4 梅曉勇;李師賢;黃昌勤;鄭小林;;一種支持組合事務(wù)的執(zhí)行語義分析方法[J];電子學(xué)報;2012年07期

5 黃龍濤;鄧水光;戴康;李瑩;尹建偉;;基于MapReduce的并行Web服務(wù)自動組合[J];電子學(xué)報;2012年07期

6 曲明;劉淑芬;包鐵;;一種用于評價語義Web服務(wù)質(zhì)量的多屬性關(guān)系建模方法[J];電子學(xué)報;2012年08期

7 馮英華;;獨立全局約束的Web服務(wù)組合模型的驗證與分析[J];長沙大學(xué)學(xué)報;2013年02期

8 劉瑩;張一川;張斌;張明衛(wèi);朱志良;;基于行為效果的服務(wù)可替換性分析[J];計算機(jī)研究與發(fā)展;2010年08期

9 鄭劍;江建慧;;基于弱同步的服務(wù)交互適配方法[J];計算機(jī)集成制造系統(tǒng);2010年08期

10 鄭劍;江建慧;;基于標(biāo)簽轉(zhuǎn)換系統(tǒng)的Web服務(wù)行為失配類型的判定方法[J];計算機(jī)集成制造系統(tǒng);2011年12期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 殷昱煜;面向服務(wù)的軟件動態(tài)配置技術(shù)研究[D];浙江大學(xué);2010年

2 吳新星;基于語言的軟件可信性度量理論及其應(yīng)用[D];華東師范大學(xué);2011年

3 于曉浩;面向任務(wù)的軍事信息服務(wù)組合方法與關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

4 崔金棟;基于本體的網(wǎng)格信息檢索模型研究[D];吉林大學(xué);2011年

5 楊勇;SOA等級化服務(wù)替換理論與機(jī)制[D];復(fù)旦大學(xué);2011年

6 毛一梅;基于服務(wù)質(zhì)量的Web服務(wù)關(guān)鍵技術(shù)研究[D];東華大學(xué);2009年

7 龍浩;網(wǎng)格語義工作流關(guān)鍵技術(shù)研究[D];北京工業(yè)大學(xué);2010年

8 周寧;Web服務(wù)組合中若干問題的研究[D];南京大學(xué);2011年

9 鄧娜;BPEL流程生命周期中若干關(guān)鍵問題研究[D];北京郵電大學(xué);2011年

10 曲明;基于本體的服務(wù)發(fā)現(xiàn)與組合方法研究[D];吉林大學(xué);2012年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 周梁偉;基于SOA的網(wǎng)構(gòu)軟件動態(tài)配置系統(tǒng)設(shè)計與實現(xiàn)[D];浙江大學(xué);2011年

2 付徐明;基于形式化方法的構(gòu)件行為分析與演化研究[D];云南大學(xué);2011年

3 陳圣標(biāo);基于BMC的Web服務(wù)失配檢測方法研究[D];蘇州大學(xué);2011年

4 陳艷;面向軟件產(chǎn)品族的模塊規(guī)劃方法研究[D];浙江工業(yè)大學(xué);2011年

5 宮雪強(qiáng);基于行為的Web服務(wù)相容性與可替換性研究[D];華東師范大學(xué);2010年

6 狄浩軍;數(shù)據(jù)和時間感知的Web服務(wù)組合形式化建模與驗證研究[D];蘇州大學(xué);2012年

7 王娟;基于Petri網(wǎng)的Web服務(wù)組合行為分析[D];安徽理工大學(xué);2012年

8 王晶;Web服務(wù)組合QoS建模與屬性驗證研究[D];蘇州大學(xué);2012年

9 石慧娟;異步Web服務(wù)組合分析與驗證方法研究[D];蘇州大學(xué);2012年

10 劉偉;基于WSDL的Web服務(wù)可替換性驗證研究[D];復(fù)旦大學(xué);2012年

【二級參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 林惠民,張文輝;模型檢測:理論、方法與應(yīng)用[J];電子學(xué)報;2002年S1期

2 龔洪泉,趙文耘,徐如志,錢樂秋;基于Pi演算的構(gòu)件演化研究[J];電子學(xué)報;2004年S1期

3 陳波;譚慶平;李舟軍;陳火旺;;一門新的面向構(gòu)件語言[J];電子學(xué)報;2006年S1期

4 殷昱煜;李瑩;鄧水光;尹建偉;;Web服務(wù)行為一致性與相容性判定[J];電子學(xué)報;2009年03期

5 趙志],盛秋戩,史忠植;UML活動圖描述工作流模型的執(zhí)行語義[J];計算機(jī)研究與發(fā)展;2005年02期

6 史玉良;黃光安;葉煒;張亮;施伯樂;;基于任務(wù)依賴信息的Web服務(wù)自動合成[J];計算機(jī)研究與發(fā)展;2006年12期

7 邱莉榕;史忠植;林芬;常亮;;基于主體的語義Web服務(wù)自動組合研究[J];計算機(jī)研究與發(fā)展;2007年04期

8 劉方方;史玉良;張亮;施伯樂;;基于進(jìn)程代數(shù)的Web服務(wù)合成的替換分析[J];計算機(jī)學(xué)報;2007年11期

9 李喜彤;范玉順;;Web服務(wù)流程相容性和相似性分析[J];計算機(jī)學(xué)報;2009年12期

10 岳昆,王曉玲,周傲英;Web服務(wù)核心支撐技術(shù):研究綜述[J];軟件學(xué)報;2004年03期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 喬曉強(qiáng);魏峻;黃濤;;基于適配的服務(wù)協(xié)作流程動態(tài)管理[J];計算機(jī)學(xué)報;2008年08期

2 盧潤加;鄭惠利;;基于Web Services的企業(yè)應(yīng)用集成研究[J];計算機(jī)系統(tǒng)應(yīng)用;2007年11期

3 曹曉葉;王知衍;許曉偉;梁英宏;;基于SOA的企業(yè)應(yīng)用集成研究與應(yīng)用[J];微計算機(jī)信息;2007年36期

4 朱俊武;王建東;李斌;;面向語義Web服務(wù)的本體及融合機(jī)制[J];南京理工大學(xué)學(xué)報(自然科學(xué)版);2006年06期

5 岳昆;劉惟一;李維華;周培驥;;基于語義的Web服務(wù)行為建模方法[J];鄭州大學(xué)學(xué)報(理學(xué)版);2007年04期

6 金竹青;劉玉秀;周偉;;基于面向服務(wù)架構(gòu)的電子政務(wù)系統(tǒng)集成[J];大連海事大學(xué)學(xué)報;2007年S1期

7 彭增喜;張鋼;;基于Web服務(wù)和工作流技術(shù)的應(yīng)用集成研究[J];微處理機(jī);2009年01期

8 王海燕;;基于.net的校園網(wǎng)格異構(gòu)數(shù)據(jù)統(tǒng)一訪問接口[J];計算機(jī)工程;2010年11期

9 盧麗麗;閆光榮;韓承祥;;基于Web服務(wù)的企業(yè)應(yīng)用集成系統(tǒng)及其接口[J];航空制造技術(shù);2007年05期

10 王洪軍;周斌;賈焰;吳泉源;;Web服務(wù)集成CCM構(gòu)件模型的研究與實現(xiàn)[J];微電子學(xué)與計算機(jī);2006年10期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 楊占勝;;基于Web服務(wù)的基本遺傳算法實現(xiàn)[A];第三屆中國智能計算大會論文集[C];2009年

2 王洪軍;周斌;賈焰;吳泉源;;Web服務(wù)集成CCM構(gòu)件模型的研究與實現(xiàn)[A];2006年全國開放式分布與并行計算學(xué)術(shù)會議論文集（二）[C];2006年

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

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

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

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

7 焦洪智;陳定方;;基于Web Services的松耦合系統(tǒng)的研究與應(yīng)用[A];12省區(qū)市機(jī)械工程學(xué)會2006年學(xué)術(shù)年會湖北省論文集[C];2006年

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

9 許國艷;李曉芳;;J2EE平臺上基于Web服務(wù)的動態(tài)電子商務(wù)架構(gòu)研究[A];2006年全國開放式分布與并行計算機(jī)學(xué)術(shù)會議論文集（三）[C];2006年

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

中國重要報紙全文數(shù)據(jù)庫 前10條

1 清水 編譯;SOA：尚待改進(jìn)的五大缺憾[N];計算機(jī)世界;2005年

2 柴曉路;Web服務(wù)帶來了新集成[N];中國計算機(jī)報;2002年

3 李佳師 孫愛民;Web服務(wù)，，在等待中成熟[N];中國電子報;2004年

4 寧肯;Web服務(wù)：黎明前的跋涉[N];計算機(jī)世界;2005年

5 樸華;SilverStream延伸Web服務(wù)[N];中國計算機(jī)報;2002年

6 IBM軟件集團(tuán)亞太區(qū)副總裁Andrew Dutton;Web服務(wù)——新一代電子商務(wù)的核心[N];計算機(jī)世界;2001年

7 中國科學(xué)院軟件研究所 劉紹華;“坐，請坐，請上坐！”[N];計算機(jī)世界;2005年

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

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

10 徐昊;Lotus ND6:強(qiáng)化Web服務(wù)協(xié)作[N];中國計算機(jī)報;2002年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

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

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

3 溫浩宇;制造網(wǎng)格若干關(guān)鍵技術(shù)研究[D];西安電子科技大學(xué);2005年

4 詹建;基于無線傳感器網(wǎng)絡(luò)的協(xié)同技術(shù)研究[D];蘭州大學(xué);2007年

5 劉峰;基于網(wǎng)格服務(wù)的地理空間信息共享平臺關(guān)鍵技術(shù)研究[D];山東科技大學(xué);2007年

6 陳中祥;基于BDI Agent的CGF主體行為建模理論與技術(shù)研究[D];華中科技大學(xué);2004年

7 嚴(yán)亞蘭;基于語義Web的知識處理研究[D];武漢大學(xué);2005年

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

9 齊建軍;基于XML的制造過程集成框架的研究與實現(xiàn)[D];北京航空航天大學(xué);2005年

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

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 成琦;面向構(gòu)件服務(wù)的軟件集成框架研究[D];合肥工業(yè)大學(xué);2005年

2 彭增喜;基于Web服務(wù)和工作流的EAI體系結(jié)構(gòu)[D];天津大學(xué);2007年

3 龍麗萍;ESB-SOA架構(gòu)在企業(yè)應(yīng)用集成中的研究和應(yīng)用[D];中南大學(xué);2009年

4 張守星;基于Web服務(wù)消息中間件的設(shè)計與實現(xiàn)[D];大連海事大學(xué);2008年

5 胡睿達(dá);基于SOA的電信SPS系統(tǒng)設(shè)計與實現(xiàn)[D];中南大學(xué);2007年

6 宗喜軍;基于SOA的企業(yè)應(yīng)用集成框架的研究與應(yīng)用[D];大慶石油學(xué)院;2008年

7 馮云;Java和.NET互操作性研究與實現(xiàn)[D];西南交通大學(xué);2009年

8 袁綱;基于消息中間件的異步可靠Web服務(wù)的研究與設(shè)計[D];重慶大學(xué);2007年

9 張靜;基于.NET下Web服務(wù)的信息查詢系統(tǒng)的研究與設(shè)計[D];合肥工業(yè)大學(xué);2003年

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

本文編號：1112783