基于多元Pi-演算的Web服务组合描述与验证

发布时间：2018-11-07 07:55

【摘要】：验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度.针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相容性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性.结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础.
[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.
【作者单位】： 天津大学计算机科学与技术学院;
【基金】：国家自然科学基金资助项目(61003080) 教育部科技发展中心网络时代科技论文快速共享专项研究课题资助项目(2011117)
【分类号】：TP393.09

【参考文献】

相关期刊论文 前5条

1 辜希武;卢正鼎;;Web服务相容性的形式化描述与分析[J];计算机工程与应用;2007年27期

2 辜希武;卢正鼎;;类型化的Web服务组合形式化模型[J];计算机科学;2008年01期

3 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期

4 钱柱中;陆桑璐;谢立;;基于Petri网的Web服务自动组合研究[J];计算机学报;2006年07期

5 胡静;冯志勇;;基于Pi-演算的Web服务形式化描述模型*[J];计算机应用研究;2011年06期

【共引文献】

相关期刊论文 前10条

1 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期

2 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期

3 康辉;苑森淼;浦洁;刘勇;;基于Pi演算的Web服务建模与WSDL转换[J];北京工业大学学报;2008年11期

4 周宇;张鹏程;李必信;;一种Web服务组合的数学模型[J];东南大学学报(自然科学版);2007年04期

5 代钰;杨雷;张斌;;面向业务领域基于智能规划的web服务组合(英文)[J];Journal of Southeast University(English Edition);2007年03期

6 程杰;程燕;;Web服务复合技术在SOA系统中的研究与应用[J];电脑知识与技术;2006年26期

7 苑庆涛;陈彦萍;;Web服务组合方法研究综述[J];电脑知识与技术;2010年07期

8 魏慧;;基于XYZ/ADL的BPEL4WS Web服务组合描述方法[J];电脑知识与技术;2010年29期

9 刘绍华;马铁军;景兴建;;云端的服务协作动态构造技术研究综述[J];电信科学;2010年S1期

10 周霞;曹宝香;;OOPN下基于优先级算法的Web服务组合[J];电子技术;2011年04期

相关会议论文 前2条

1 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

2 张功源;李必信;邱栋;吉顺慧;;一种基于并发的BPEL控制流模型的分析及验证[A];第六届中国测试学术会议论文集[C];2010年

相关博士学位论文 前10条

1 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年

2 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年

3 曹虹华;语义编程语言SPROGLE及其实现机制研究[D];武汉大学;2009年

4 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年

5 曾鸣;基于SOA的森林资源空间信息分级服务研究[D];中国林业科学研究院;2011年

6 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年

7 肖芳雄;面向QoS的Web服务组合建模和验证研究[D];南京航空航天大学;2010年

8 朱俊;基于Petri网的Web服务组合的交互模型及其应用机理的研究[D];国防科学技术大学;2011年

9 刘林源;Web服务组合隐私分析与验证研究[D];南京航空航天大学;2011年

10 崔金栋;基于本体的网格信息检索模型研究[D];吉林大学;2011年

相关硕士学位论文 前10条

1 马文涛;基于Web Services的工作流系统新模型的研究与实现[D];辽宁工程技术大学;2010年

2 康件丽;网格服务质量评价与服务组合的研究[D];河南理工大学;2010年

3 张大奎;基于Agent的网格服务组合研究[D];河南理工大学;2010年

4 郑姜;基于WS-CDL的贸易协同流程建模工具的研究与实现[D];华东理工大学;2011年

5 杨彦博;基于流演算的上下文感知Web服务组合研究[D];浙江大学;2011年

6 宋仲凯;大粒度服务组合验证工具的设计与实现[D];浙江大学;2011年

7 朱恒亮;SOA中服务与服务组合的形式化研究[D];福建师范大学;2010年

8 李延红;基于Pi演算的Web服务组合技术研究[D];山东经济学院;2011年

9 王轶;基于颜色Petri网的BPEL自动生成方法[D];北方工业大学;2011年

10 向剑峰;基于OWL-S的语义Web服务组合模型的研究[D];湖北工业大学;2011年

【二级参考文献】

相关期刊论文 前8条

1 袁敏;黄志球;曹子宁;肖芳雄;;一种扩充的π-演算及事务性等价关系研究[J];计算机研究与发展;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服务核心支撑技术:研究综述[J];软件学报;2004年03期

8 张侃;朱稷涵;张广泉;;基于有色Petri网的Web服务组合建模与分析[J];苏州大学学报(工科版);2010年04期

【相似文献】

相关期刊论文 前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