本文關(guān)鍵詞：面向Web服務(wù)編排端口、流程結(jié)構(gòu)與行為相容性判定　出處：《小型微型計(jì)算機(jī)系統(tǒng)》2014年07期 　論文類型：期刊論文

  更多相關(guān)文章： 服務(wù)組合 面向編排 演化 相容性判定

【摘要】：成員服務(wù)彼此相容是Web服務(wù)組合正確執(zhí)行的必要條件.服務(wù)組合演化階段各成員服務(wù)不再將業(yè)務(wù)過程控制權(quán)委托給集成合作方,使服務(wù)相容性判定成為難點(diǎn).將服務(wù)編排層的端口、流程結(jié)構(gòu)與行為作為服務(wù)相容性判定要素,提出適用于演化階段的相容性判定機(jī)制,每個成員服務(wù)分別作為執(zhí)行者,判定自身與其伙伴服務(wù)構(gòu)成的組合的相容性,使所有服務(wù)協(xié)同參與相容性判定過程.最后,通過完整的實(shí)例描述了相容性判定的過程,使用π演算建模工具M(jìn)WB驗(yàn)證行為相容性判定的有效性.
【作者單位】： 燕山大學(xué)信息科學(xué)與工程學(xué)院;河北省計(jì)算機(jī)虛擬技術(shù)與系統(tǒng)集成重點(diǎn)實(shí)驗(yàn)室;
【基金】：國家自然科學(xué)基金項(xiàng)目(61272125)資助 教育部博士點(diǎn)專項(xiàng)基金項(xiàng)目(20121333110014)資助 高等學(xué)�？茖W(xué)技術(shù)研究重點(diǎn)項(xiàng)目(ZH2011115)資助
【分類號】：TP393.09
【正文快照】： 1引言Web服務(wù)組合作為一種開放自治的分布式網(wǎng)絡(luò)技術(shù),實(shí)現(xiàn)了在因特網(wǎng)環(huán)境下的動態(tài)交互和服務(wù)增值[1].成員服務(wù)間彼此相容是保證服務(wù)組合正確執(zhí)行的必要條件.Web服務(wù)相容是指一組Web服務(wù)之間能夠正確地交互,即彼此之間能夠根據(jù)服務(wù)編排協(xié)議按正確的時(shí)序發(fā)送與接收消息.服務(wù)相容

【參考文獻(xiàn)】

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

1 宋巍;馬曉星;呂建;;Web服務(wù)組合動態(tài)演化的實(shí)例可遷移性[J];計(jì)算機(jī)學(xué)報(bào);2009年09期

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

3 尤殿龍;申利民;劉芳;;Web服務(wù)組合中業(yè)務(wù)流程演化影響范圍判定方法[J];計(jì)算機(jī)集成制造系統(tǒng);2013年07期

4 鄧水光;李瑩;吳健;鄺礫;吳朝暉;;Web服務(wù)行為兼容性的判定與計(jì)算[J];軟件學(xué)報(bào);2007年12期

【共引文獻(xiàn)】

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

1 劉瑩;張斌;劉國奇;汪德帥;;基于行為效果的服務(wù)匹配算法[J];東北大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年06期

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

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

4 印桂生;宋敏;韋正現(xiàn);王紅濱;張萬松;;面向構(gòu)件語義關(guān)系的軟件體系結(jié)構(gòu)演化分析[J];哈爾濱工程大學(xué)學(xué)報(bào);2011年10期

5 趙娟;;基于Petri網(wǎng)的語義Web服務(wù)過程模型匹配算法研究[J];河南科學(xué);2009年02期

6 肖文;張自力;李偉華;;基于QoS的可信Web服務(wù)組合研究[J];計(jì)算機(jī)科學(xué);2011年06期

7 戎玫;陳圣標(biāo);張廣泉;;基于限界模型檢查的Web服務(wù)行為失配檢測[J];計(jì)算機(jī)科學(xué);2012年06期

8 鄧水光;黃龍濤;尹建偉;李瑩;吳健;;Web服務(wù)組合技術(shù)框架及其研究進(jìn)展[J];計(jì)算機(jī)集成制造系統(tǒng);2011年02期

9 王偉然;范玉順;;業(yè)務(wù)服務(wù)配置模型與運(yùn)行機(jī)制[J];計(jì)算機(jī)集成制造系統(tǒng);2011年12期

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

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

1 趙會群;孫晶;魏瑩;王文文;;服務(wù)體系結(jié)構(gòu)的動態(tài)演化方法研究[A];CCF NCSC 2011——第二屆中國計(jì)算機(jī)學(xué)會服務(wù)計(jì)算學(xué)術(shù)會議論文集[C];2011年

2 李昌志;付曉東;田強(qiáng);王威;夏永瀅;;一種費(fèi)用最小化的Veb服務(wù)組合可靠性優(yōu)化分配方法[A];第25屆中國控制與決策會議論文集[C];2013年

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

1 宋巍;Web服務(wù)組合動態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

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

3 曹虹華;語義編程語言SPROGLE及其實(shí)現(xiàn)機(jī)制研究[D];武漢大學(xué);2009年

4 劉林源;Web服務(wù)組合隱私分析與驗(yàn)證研究[D];南京航空航天大學(xué);2011年

5 盧旭;面向分布式關(guān)鍵任務(wù)系統(tǒng)的自愈調(diào)控技術(shù)研究[D];哈爾濱工程大學(xué);2011年

6 張帥;基于服務(wù)組合的跨企業(yè)協(xié)作關(guān)鍵技術(shù)研究[D];浙江大學(xué);2011年

7 劉鐵江;組合Web服務(wù)選擇、部署與執(zhí)行的關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2011年

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

9 江志雄;基于動態(tài)語義的Web服務(wù)描述[D];復(fù)旦大學(xué);2008年

10 林寶平;Web服務(wù)接口的相容性與調(diào)解研究[D];中國科學(xué)技術(shù)大學(xué);2009年

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

1 王志兵;軟件行為運(yùn)行時(shí)驗(yàn)證研究[D];湖南工業(yè)大學(xué);2010年

2 張祥濤;基于語義Web服務(wù)的多層次匹配模型的研究與實(shí)現(xiàn)[D];華南理工大學(xué);2010年

3 宋仲凱;大粒度服務(wù)組合驗(yàn)證工具的設(shè)計(jì)與實(shí)現(xiàn)[D];浙江大學(xué);2011年

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

5 易學(xué)武;基于ASP.Net的在線圖書銷售系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2010年

6 張青清;SOA服務(wù)特性度量及工具研究[D];合肥工業(yè)大學(xué);2011年

7 魏濤;基于.NET的高�？蒲泄芾硐到y(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];南京理工大學(xué);2011年

8 江陽;Web服務(wù)組合與驗(yàn)證相關(guān)技術(shù)研究[D];中南大學(xué);2011年

9 劉靜;WEB組合服務(wù)框架優(yōu)化模型的研究及其系統(tǒng)實(shí)現(xiàn)[D];中南大學(xué);2011年

10 常斌;基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[D];南京郵電大學(xué);2011年

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

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

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

2 韓燕波;王洪翠;王建武;閆淑英;張程;;一種支持最終用戶探索式組合服務(wù)的方法[J];計(jì)算機(jī)研究與發(fā)展;2006年11期

3 楊書新;王堅(jiān);;基于狀態(tài)的工作流實(shí)例遷移方法[J];計(jì)算機(jī)集成制造系統(tǒng);2008年02期

4 李喜彤;范玉順;;Web服務(wù)過程建模及其邏輯正確性驗(yàn)證[J];計(jì)算機(jī)集成制造系統(tǒng);2008年04期

5 馬曉星 ,余萍 ,陶先平 ,呂建;一種面向服務(wù)的動態(tài)協(xié)同架構(gòu)及其支撐平臺[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

6 張文濤;彭泳;陳俊亮;;會話類E-Service的接口兼容和服務(wù)組合分析[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

7 錢柱中;陸桑璐;謝立;;基于Petri網(wǎng)的Web服務(wù)自動組合研究[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

8 郭玉彬;杜玉越;奚建清;;Web服務(wù)組合的有色網(wǎng)模型及運(yùn)算性質(zhì)[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

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

10 胡春華;吳敏;劉國平;;Web服務(wù)工作流中基于信任關(guān)系的QoS調(diào)度[J];計(jì)算機(jī)學(xué)報(bào);2009年01期

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

1 宋巍;Web服務(wù)組合動態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

2 徐賢;高階進(jìn)程演算的互模擬理論和公理化的研究[D];上海交通大學(xué);2008年

【相似文獻(xiàn)】

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

1 鄧勁生,張銀福;面向?qū)ο蟮亩嗝襟w信息WEB發(fā)布[J];計(jì)算機(jī)應(yīng)用研究;1999年09期

2 刁興春,李赤紅;Intranet環(huán)境下事務(wù)處理的理論研究和實(shí)現(xiàn)[J];小型微型計(jì)算機(jī)系統(tǒng);1999年06期

3 高昆;基于ASP的WEB站點(diǎn)開發(fā)技術(shù)分析[J];北華大學(xué)學(xué)報(bào)(社會科學(xué)版);1999年05期

4 李晶,朱秋萍;Web頁制作中的動態(tài)表現(xiàn)技術(shù)[J];計(jì)算機(jī)工程;2000年06期

5 武莊,劉友丹;基于Web的企業(yè)內(nèi)部質(zhì)量審核系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)應(yīng)用研究;2000年05期

6 張少敏,王保義;基于Web的管理信息系統(tǒng)方案及其安全性[J];華北電力大學(xué)學(xué)報(bào);2001年01期

7 賀文,顧訓(xùn)穰;基于Web的客戶端電子郵件系統(tǒng)的實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2001年08期

8 沈祥玖,李作緯,宋義發(fā),尹濤;利用ASP實(shí)現(xiàn)對Web數(shù)據(jù)庫的訪問[J];濟(jì)南交通高等�？茖W(xué)校學(xué)報(bào);2001年02期

9 何琨,肖德寶;園區(qū)網(wǎng)網(wǎng)管分布式對象建模策略及其實(shí)現(xiàn)[J];小型微型計(jì)算機(jī)系統(tǒng);2002年02期

10 方立,郭明;基于校園網(wǎng)的VOD系統(tǒng)在成人教育中的實(shí)現(xiàn)[J];錦州師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2002年04期

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

1 李利波;劉明利;;一種改進(jìn)的無回溯反向Web服務(wù)動態(tài)組合方法[A];2011年全國通信安全學(xué)術(shù)會議論文集[C];2011年

2 游爭光;劉建勛;唐明董;;分布式Web服務(wù)測試系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[A];CCF NCSC 2011——第二屆中國計(jì)算機(jī)學(xué)會服務(wù)計(jì)算學(xué)術(shù)會議論文集[C];2011年

3 ;基于廣義對話的Web用戶的聚類(英文)[A];第十七屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報(bào)告篇）[C];2000年

4 胡建強(qiáng);周斌;尹剛;鄒鵬;;基于角色的Web服務(wù)訪問控制技術(shù)研究[A];第二十屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報(bào)告篇）[C];2003年

5 黃建波;丁揚(yáng);方芳;;基于代理服務(wù)器的Web加速的實(shí)現(xiàn)[A];2010通信理論與技術(shù)新發(fā)展——第十五屆全國青年通信學(xué)術(shù)會議論文集（上冊）[C];2010年

6 陶冶;劉建勛;唐明董;;基于Map/Reduce的分布式Web服務(wù)搜索引擎設(shè)計(jì)與實(shí)現(xiàn)[A];CCF NCSC 2011——第二屆中國計(jì)算機(jī)學(xué)會服務(wù)計(jì)算學(xué)術(shù)會議論文集[C];2011年

7 黃勝;彭敦陸;王曉玲;周傲英;;基于與或樹搜索的快速Web服務(wù)組合方法[A];第二十二屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報(bào)告篇）[C];2005年

8 劉紹波;胡盈;鄭涵;樂嘉錦;;Web站點(diǎn)鏈接結(jié)構(gòu)的動態(tài)調(diào)整模型研究[A];第二十屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報(bào)告篇）[C];2003年

9 胡建強(qiáng);郭長國;賈焰;鄒鵬;;一種可擴(kuò)展的分布式Web服務(wù)發(fā)現(xiàn)架構(gòu)[A];第二十二屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報(bào)告篇）[C];2005年

10 劉建偉;于守健;樂嘉錦;;基于Web服務(wù)資源框架的流數(shù)據(jù)查詢處理系統(tǒng)[A];第二十二屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報(bào)告篇）[C];2005年

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

1 本報(bào)記者 毛江華;安啟華聯(lián)手賽門鐵克 掘金Web安全[N];計(jì)算機(jī)世界;2009年

2 邊歆;動態(tài)阻斷Web2.0威脅[N];網(wǎng)絡(luò)世界;2009年

3 Anchiva中國區(qū)總經(jīng)理 李松;Web安全選型三個標(biāo)準(zhǔn)[N];網(wǎng)絡(luò)世界;2008年

4 本報(bào)記者 邊歆;6步實(shí)現(xiàn)Web應(yīng)用的整體安全[N];網(wǎng)絡(luò)世界;2009年

5 本報(bào)記者 邊歆;八大安全威脅預(yù)示W(wǎng)eb安全新變化[N];網(wǎng)絡(luò)世界;2010年

6 本報(bào)記者 李智鵬;Web安全走下“云”端[N];計(jì)算機(jī)世界;2010年

7 本報(bào)記者 卜娜;Web應(yīng)用漏洞成數(shù)據(jù)泄露之門[N];中國計(jì)算機(jī)報(bào);2010年

8 梭子魚中國區(qū)總經(jīng)理 何平;大勢可為 Web沖關(guān)[N];網(wǎng)絡(luò)世界;2009年

9 ;HTML5[N];人民郵電;2010年

10 ;Web 2.0與電子醫(yī)療[N];網(wǎng)絡(luò)世界;2010年

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

1 張建武;面向Web應(yīng)用的安全評測技術(shù)研究[D];北京郵電大學(xué);2012年

2 李常寶;基于索引的web服務(wù)發(fā)現(xiàn)研究[D];北京郵電大學(xué);2011年

3 魏登萍;語義Web服務(wù)發(fā)現(xiàn)中匹配策略的研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2011年

4 黃雪娟;語義Web服務(wù)及其合成方法的研究[D];武漢大學(xué);2009年

5 王秀峰;Web導(dǎo)航中用戶認(rèn)知特征及行為研究[D];南京大學(xué);2013年

6 馬建斌;中文Web信息作者同一認(rèn)定技術(shù)研究[D];河北農(nóng)業(yè)大學(xué);2010年

7 陳世展;服務(wù)網(wǎng)絡(luò)：基于語義和社會化關(guān)系的Web服務(wù)計(jì)算基礎(chǔ)設(shè)施[D];天津大學(xué);2010年

8 張帆;認(rèn)知可重構(gòu)的高效能Web服務(wù)體系結(jié)構(gòu)研究[D];解放軍信息工程大學(xué);2013年

9 胡佳;語義Web服務(wù)自動組合及驗(yàn)證的研究[D];天津大學(xué);2010年

10 王輝;面向互聯(lián)網(wǎng)的Web服務(wù)基礎(chǔ)設(shè)施構(gòu)建和應(yīng)用[D];天津大學(xué);2010年

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

1 唐黎;Deep Web頁面結(jié)構(gòu)分析與核心內(nèi)容提取研究[D];重慶大學(xué);2011年

2 吳新勇;基于需求群組的Web服務(wù)調(diào)度模型研究[D];上海交通大學(xué);2011年

3 徐衛(wèi);Web新聞熱點(diǎn)發(fā)現(xiàn)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];華中科技大學(xué);2011年

4 姜本臣;基于嵌入式Web服務(wù)器應(yīng)用技術(shù)的研究[D];沈陽工業(yè)大學(xué);2012年

5 溫梨梨;基于零拷貝的Web服務(wù)器技術(shù)研究[D];中國海洋大學(xué);2011年

6 焦燕廷;一種基于領(lǐng)域本體的語義Web服務(wù)匹配和組合方法[D];山東科技大學(xué);2011年

7 黃亮;Web漏洞掃描系統(tǒng)中的智能爬蟲技術(shù)研究[D];杭州電子科技大學(xué);2012年

8 趙春娟;Web服務(wù)組合方法的研究與實(shí)現(xiàn)[D];天津理工大學(xué);2011年

9 張囡;基于概念的語義Web服務(wù)匹配算法的研究及其在配送中心系統(tǒng)的應(yīng)用[D];華南理工大學(xué);2010年

10 張敏;面向Web應(yīng)用的測試適配技術(shù)研究[D];山東師范大學(xué);2010年

，

本文編號：1319379