本文選題：Web服務(wù) + 服務(wù)視圖　； 參考：《計算機(jī)工程與設(shè)計》2016年05期

【摘要】：Web服務(wù)描述語言僅包含語法層信息,不能刻畫服務(wù)交互的行為信息,不能對組裝后的系統(tǒng)進(jìn)行兼容性驗證,為此提出既包含服務(wù)接口調(diào)用方法又包含內(nèi)部邏輯行為的服務(wù)視圖,采用標(biāo)簽轉(zhuǎn)換系統(tǒng)(LTS)表示服務(wù)行為協(xié)議。根據(jù)服務(wù)組合的消息收發(fā)關(guān)系,將組合交互過程表示為多個LTS之間動作的同步變遷,通過LTS同步積模擬組合系統(tǒng)交互的動態(tài)行為;通過檢查同步積中是否存在死鎖狀態(tài),進(jìn)行行為兼容性判定,設(shè)計判定算法以實現(xiàn)兼容性的自動分析,通過一個典型的電子商務(wù)應(yīng)用系統(tǒng)分析驗證了該方法的有效性。
[Abstract]:Web services description language contains only syntax layer information, can not describe the behavior information of service interaction, and can not verify the compatibility of the assembled system. Therefore, a service view, which contains both the service interface calling method and the internal logical behavior, is proposed. Label conversion system (LTS) is used to represent service behavior protocol. According to the message sending and receiving relationship of the service composition, the composite interaction process is expressed as the synchronous transition of the actions between several LTS, the dynamic behavior of the composite system is simulated by the LTS synchronous product, and the deadlock state in the synchronous product is checked. The behavior compatibility is judged and the algorithm is designed to realize the automatic analysis of the compatibility. The validity of the method is verified by a typical e-commerce application system analysis.
【作者單位】： 江西財經(jīng)大學(xué)軟件與通信工程學(xué)院;
【基金】：國家自然科學(xué)基金項目(61262012) 江西省自然科學(xué)基金項目(2008GZS0017)
【分類號】：TP393.09

【相似文獻(xiàn)】

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

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

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

3 閆新慶;李文鋒;陳定方;;基于有限狀態(tài)自動機(jī)的Web服務(wù)組合(英文)[J];計算機(jī)工程與設(shè)計;2007年23期

4 陳國彬;;基于Qos約束的Web服務(wù)組合算法[J];控制工程;2014年04期

5 陳冬林;聶規(guī)劃;李曉菲;;面向客戶視角的Web服務(wù)組合優(yōu)化與集成管理方法[J];計算機(jī)應(yīng)用研究;2010年09期

6 李玲勇;高春鳴;文華南;;Web服務(wù)組合執(zhí)行引擎中服務(wù)異步調(diào)用機(jī)制研究[J];計算機(jī)應(yīng)用研究;2010年02期

7 趙明雷;趙文棟;彭來獻(xiàn);王玨;;Web服務(wù)組合算法的研究與分析[J];軍事通信技術(shù);2012年04期

8 劉波;吳家鑄;;Web服務(wù)組合分布式協(xié)調(diào)模型研究[J];微電子學(xué)與計算機(jī);2006年10期

9 袁小娟;高春鳴;;Web服務(wù)組合執(zhí)行引擎中服務(wù)代理運(yùn)行機(jī)制研究[J];計算機(jī)工程與應(yīng)用;2007年28期

10 鄧水光;吳朝暉;;Web服務(wù)組合方法綜述[J];中國科技論文在線;2008年02期

相關(guān)會議論文 前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年

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

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ù)組合方法研究[D];吉林大學(xué);2011年

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

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

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

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

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

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

5 王陽陽;多目標(biāo)粒子群算法在Web服務(wù)組合中的應(yīng)用研究[D];河南大學(xué);2010年

6 楊汝濤;前K優(yōu)Web服務(wù)組合方法及相關(guān)理論研究[D];南京大學(xué);2012年

7 孫長俊;Web服務(wù)組合關(guān)系的研究與實現(xiàn)[D];河海大學(xué);2007年

8 余文功;Web服務(wù)組合中的特征交互問題動態(tài)檢測方法研究[D];中國石油大學(xué);2010年

9 許興旺;基于多智能體系統(tǒng)模型檢測與抽象技術(shù)的Web服務(wù)組合驗證[D];華僑大學(xué);2014年

10 范俊;基于規(guī)則的Web服務(wù)組合研究[D];北京郵電大學(xué);2007年

，

本文編號：2104885