本文關(guān)鍵詞：基于行為投影的Web服務(wù)組合行為兼容性研究

  更多相關(guān)文章： Web服務(wù)組合 服務(wù)視圖 行為投影 行為兼容性 標(biāo)簽轉(zhuǎn)換系統(tǒng)

【摘要】：Web服務(wù)兼容性是確保組合系統(tǒng)能夠正常運(yùn)行的前提。首先提出既包含服務(wù)接口調(diào)用方法又包含邏輯行為的服務(wù)視圖,根據(jù)服務(wù)間的連接關(guān)系,將服務(wù)行為投影到不同的連接件上。其次根據(jù)在連接件上的消息收發(fā)關(guān)系,將兩個服務(wù)在該連接上的交互過程表示為兩個LTS投影間同步變遷,通過同步積模擬在該連接上的交互行為,檢查同步積中是否出現(xiàn)死鎖狀態(tài)來進(jìn)行行為兼容性判定,并設(shè)計了判定算法以實現(xiàn)兼容性的自動分析,最后通過一個電子商務(wù)應(yīng)用示例說明該方法有效性。
【作者單位】： 江西財經(jīng)大學(xué)軟件與通信工程學(xué)院;
【關(guān)鍵詞】： Web服務(wù)組合 服務(wù)視圖 行為投影 行為兼容性 標(biāo)簽轉(zhuǎn)換系統(tǒng)
【基金】：國家自然科學(xué)基金(No.61262012) 江西省自然科學(xué)基金(No.2008GZS0017) 江西省教育廳科技項目(No.GJJ12274)
【分類號】：TP393.09
【正文快照】： 江西財經(jīng)大學(xué)軟件與通信工程學(xué)院,南昌330013School of Software and Communication Engineering,Jiangxi University of Finance and Economics,Nanchang 330013,ChinaZHANG Chi,CHU Chu,TANG Yingjun,et al.Research on behavioral compatibility of Web service compositio

【相似文獻(xiàn)】

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

1 張淵源;王海舜;;基于Web服務(wù)組合的醫(yī)院預(yù)檢系統(tǒng)應(yīng)用與分析[J];軟件導(dǎo)刊;2007年19期

2 付曉東;鄒平;;一種規(guī)則驅(qū)動的Web服務(wù)組合例外處理方法[J];計算機(jī)應(yīng)用;2007年08期

3 于素萍;楊Pq杰;毛偉偉;;面向動態(tài)工作流的Web服務(wù)組合[J];電腦開發(fā)與應(yīng)用;2007年10期

4 周燕;姜浩;;面向動態(tài)工作流的Web服務(wù)組合模型研究[J];計算機(jī)技術(shù)與發(fā)展;2008年01期

5 鐘讀杭;齊治昌;徐錫山;;基于N版本程序設(shè)計的Web服務(wù)組合可靠性優(yōu)化[J];計算機(jī)工程與科學(xué);2008年06期

6 鄒金安;楊艷萍;;圖在自動Web服務(wù)組合中的應(yīng)用研究[J];小型微型計算機(jī)系統(tǒng);2008年11期

7 黃小慶;夏安邦;;基于有色Petri網(wǎng)和分類服務(wù)的Web服務(wù)組合模型[J];計算機(jī)集成制造系統(tǒng);2009年01期

8 王志堅;程永上;徐經(jīng)緯;;Web服務(wù)組合語義一致性驗證研究[J];計算機(jī)集成制造系統(tǒng);2009年01期

9 門鵬;段振華;;動態(tài)Web服務(wù)組合的選擇策略[J];光子學(xué)報;2009年02期

10 邢智毅;李輝;;基于Web服務(wù)組合技術(shù)的智能交通信息服務(wù)系統(tǒng)[J];電腦與信息技術(shù);2013年01期

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

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

2 劉波;吳家鑄;;Web服務(wù)組合分布式協(xié)調(diào)模型研究[A];2006年全國開放式分布與并行計算學(xué)術(shù)會議論文集（二）[C];2006年

3 陳彥萍;李增智;夏虹;朱海萍;;服務(wù)質(zhì)量驅(qū)動的Web服務(wù)組合框架的設(shè)計與實現(xiàn)[A];2006年全國通信軟件學(xué)術(shù)會議論文集[C];2006年

4 李琦;夏陽;束長軍;王磊;;一種基于與或關(guān)系的Web服務(wù)組合算法研究[A];2010年全國開放式分布與并行計算機(jī)學(xué)術(shù)會議論文集[C];2010年

5 林秀琴;張冬梅;;一種改進(jìn)的分層泛洪Web服務(wù)組合算法[A];2006年全國通信軟件學(xué)術(shù)會議論文集[C];2006年

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

1 譚洪恩;基于Web服務(wù)組合的智能配電服務(wù)共享關(guān)鍵技術(shù)研究[D];武漢大學(xué);2012年

2 江卓;基于智能規(guī)劃的自適應(yīng)動態(tài)Web服務(wù)組合研究[D];重慶大學(xué);2015年

3 范大娟;Web服務(wù)組合中相容性分析與適配方法研究[D];南京航空航天大學(xué);2014年

4 張濤;基于信任的Web服務(wù)組合關(guān)鍵技術(shù)研究[D];西安電子科技大學(xué);2015年

5 楊艷萍;自動Web服務(wù)組合關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2007年

6 宋雅娟;Web服務(wù)組合方法研究[D];吉林大學(xué);2011年

7 付燕寧;Web服務(wù)組合方法的研究[D];吉林大學(xué);2007年

8 鐘讀杭;Web服務(wù)組合的可靠性預(yù)測研究[D];國防科學(xué)技術(shù)大學(xué);2007年

9 梅健;基于Web服務(wù)組合的文本分類PSE問題研究[D];上海大學(xué);2008年

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

1 夏永敏;基于依賴圖模型的Web服務(wù)組合方法研究[D];南京大學(xué);2014年

2 荊紫慧;基于改進(jìn)離散粒子群算法的Web服務(wù)組合研究[D];安徽大學(xué);2016年

3 沈桂芳;面向感知上下文的Web服務(wù)組合的應(yīng)用研究[D];合肥工業(yè)大學(xué);2008年

4 王志斌;基于模型驅(qū)動的Web服務(wù)組合方法的研究[D];中國石油大學(xué);2010年

5 章征東;基于移動Agent的Web服務(wù)組合執(zhí)行框架的研究與實現(xiàn)[D];太原理工大學(xué);2007年

6 胡真華;動態(tài)Web服務(wù)組合管理系統(tǒng)的研究與實現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2005年

7 閆培寧;支持Web服務(wù)組合的分布式事務(wù)處理模型[D];河南大學(xué);2007年

8 孫文喜;需求驅(qū)動的自適應(yīng)Web服務(wù)組合研究[D];大連海事大學(xué);2014年

9 施曉霞;能耗感知的Web服務(wù)組合技術(shù)研究[D];杭州電子科技大學(xué);2014年

10 郭艷;基于BPEL的Web服務(wù)組合建模工具的研究與實現(xiàn)[D];西北大學(xué);2009年

，

本文編號：750355