發(fā)布時間：2018-11-07 07:55

【摘要】：驗證問題是Web服務發(fā)展中亟待解決的關(guān)鍵問題之一,類型系統(tǒng)的加入以及Web服務動態(tài)的體系結(jié)構(gòu)給問題的解決增添了很多難度.針對上述問題,在多元Pi-演算的基礎上給出Web服務的描述模型和子類型關(guān)系定義,并對Web服務的相容性進行細化,給出Web服務可替換性定義;基于這些模型和定義,給出Web服務構(gòu)造時類型正確性的判定規(guī)則和運行時可替換性的判定方法;最后用1個例子說明上述規(guī)則和方法的可行性.結(jié)果表明上述模型、定義和方法為解決動態(tài)的、類型化的Web服務驗證問題提供了理論依據(jù)和基礎.
[Abstract]:Verification is one of the key problems to be solved in the development of Web services. The addition of type systems and the dynamic architecture of Web services make it more difficult to solve the problems. Aiming at the above problems, the description model and subtype relation definition of Web service are given on the basis of multivariate Pi- calculus, and the compatibility of Web service is refined, and the definition of Web service substitutability is given. Based on these models and definitions, the rules for determining the correctness of Web service types and the method for determining runtime substitutability are given, and finally, an example is given to illustrate the feasibility of the above rules and methods. The results show that the above models, definitions and methods provide the theoretical basis and foundation for solving the dynamic and typed Web service validation problem.
【作者單位】： 天津大學計算機科學與技術(shù)學院;
【基金】：國家自然科學基金資助項目(61003080) 教育部科技發(fā)展中心網(wǎng)絡時代科技論文快速共享專項研究課題資助項目(2011117)
【分類號】：TP393.09

【參考文獻】

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

1 辜希武;盧正鼎;;Web服務相容性的形式化描述與分析[J];計算機工程與應用;2007年27期

2 辜希武;盧正鼎;;類型化的Web服務組合形式化模型[J];計算機科學;2008年01期

3 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務組合的描述和驗證[J];計算機學報;2005年04期

4 錢柱中;陸桑璐;謝立;;基于Petri網(wǎng)的Web服務自動組合研究[J];計算機學報;2006年07期

5 胡靜;馮志勇;;基于Pi-演算的Web服務形式化描述模型*[J];計算機應用研究;2011年06期

【共引文獻】

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

1 代秀娟;章昭輝;王敏生;楊娟;潘冬生;汪小寒;;旅游信息服務組合的Petri網(wǎng)建模及其實現(xiàn)[J];安徽師范大學學報(自然科學版);2011年04期

2 常宏達;孫文輝;于雙元;丁丁;;Web服務組合形式理論分析與研究[J];兵工自動化;2009年05期

3 康輝;苑森淼;浦潔;劉勇;;基于Pi演算的Web服務建模與WSDL轉(zhuǎn)換[J];北京工業(yè)大學學報;2008年11期

4 周宇;張鵬程;李必信;;一種Web服務組合的數(shù)學模型[J];東南大學學報(自然科學版);2007年04期

5 代鈺;楊雷;張斌;;面向業(yè)務領域基于智能規(guī)劃的web服務組合(英文)[J];Journal of Southeast University(English Edition);2007年03期

6 程杰;程燕;;Web服務復合技術(shù)在SOA系統(tǒng)中的研究與應用[J];電腦知識與技術(shù);2006年26期

7 苑慶濤;陳彥萍;;Web服務組合方法研究綜述[J];電腦知識與技術(shù);2010年07期

8 魏慧;;基于XYZ/ADL的BPEL4WS Web服務組合描述方法[J];電腦知識與技術(shù);2010年29期

9 劉紹華;馬鐵軍;景興建;;云端的服務協(xié)作動態(tài)構(gòu)造技術(shù)研究綜述[J];電信科學;2010年S1期

10 周霞;曹寶香;;OOPN下基于優(yōu)先級算法的Web服務組合[J];電子技術(shù);2011年04期

相關(guān)會議論文 前2條

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

2 張功源;李必信;邱棟;吉順慧;;一種基于并發(fā)的BPEL控制流模型的分析及驗證[A];第六屆中國測試學術(shù)會議論文集[C];2010年

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

1 鄺礫;基于接口和行為語義的Web服務發(fā)現(xiàn)與適配研究[D];浙江大學;2009年

2 曹洪江;基于用戶需求的Web服務組合系統(tǒng)研究[D];武漢理工大學;2010年

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

4 趙亮;Web服務組合性能建模與分析[D];武漢大學;2009年

5 曾鳴;基于SOA的森林資源空間信息分級服務研究[D];中國林業(yè)科學研究院;2011年

6 周航;基于質(zhì)量有色Petri網(wǎng)的Web組合服務建模與沖突、沖撞研究[D];南京航空航天大學;2009年

7 肖芳雄;面向QoS的Web服務組合建模和驗證研究[D];南京航空航天大學;2010年

8 朱俊;基于Petri網(wǎng)的Web服務組合的交互模型及其應用機理的研究[D];國防科學技術(shù)大學;2011年

9 劉林源;Web服務組合隱私分析與驗證研究[D];南京航空航天大學;2011年

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

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

1 馬文濤;基于Web Services的工作流系統(tǒng)新模型的研究與實現(xiàn)[D];遼寧工程技術(shù)大學;2010年

2 康件麗;網(wǎng)格服務質(zhì)量評價與服務組合的研究[D];河南理工大學;2010年

3 張大奎;基于Agent的網(wǎng)格服務組合研究[D];河南理工大學;2010年

4 鄭姜;基于WS-CDL的貿(mào)易協(xié)同流程建模工具的研究與實現(xiàn)[D];華東理工大學;2011年

5 楊彥博;基于流演算的上下文感知Web服務組合研究[D];浙江大學;2011年

6 宋仲凱;大粒度服務組合驗證工具的設計與實現(xiàn)[D];浙江大學;2011年

7 朱恒亮;SOA中服務與服務組合的形式化研究[D];福建師范大學;2010年

8 李延紅;基于Pi演算的Web服務組合技術(shù)研究[D];山東經(jīng)濟學院;2011年

9 王軼;基于顏色Petri網(wǎng)的BPEL自動生成方法[D];北方工業(yè)大學;2011年

10 向劍峰;基于OWL-S的語義Web服務組合模型的研究[D];湖北工業(yè)大學;2011年

【二級參考文獻】

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

1 袁敏;黃志球;曹子寧;肖芳雄;;一種擴充的π-演算及事務性等價關(guān)系研究[J];計算機研究與發(fā)展;2010年03期

2 辜希武;盧正鼎;;基于Pi-演算的BPEL4 WS Web服務組合形式化模型[J];計算機科學;2007年03期

3 辜希武;盧正鼎;;Web服務編排描述語言WS-CDL的形式化模型框架[J];計算機科學;2007年09期

4 王曉玲,郭志懋,周傲英;Web服務組合的基于文法的消息處理[J];計算機學報;2005年04期

5 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務組合的描述和驗證[J];計算機學報;2005年04期

6 張文濤;彭泳;陳俊亮;;會話類E-Service的接口兼容和服務組合分析[J];計算機學報;2006年07期

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

8 張侃;朱稷涵;張廣泉;;基于有色Petri網(wǎng)的Web服務組合建模與分析[J];蘇州大學學報(工科版);2010年04期

【相似文獻】

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

1 胡靜;馮志勇;;基于多元Pi-演算的Web服務形式化描述模型及其驗證[J];計算機應用研究;2011年08期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文編號：2315702