收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种基于CPN的运行时监控服务交互行为的方法

朱俊  郭长国  吴泉源  
【摘要】:BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 毛瑞雪;;基于Pi演算的Web服务组合过程框架[J];计算机与数字工程;2011年07期
2 蔡虹;胡云;李存华;;一种基于A*算法的Web Services动态组合策略[J];微电子学与计算机;2011年09期
3 王志坚;李雯睿;杨种学;张鹏程;;基于uMSD的Web服务组合验证方法研究[J];计算机科学;2011年09期
4 夏妍;;基于扩展颜色Petri网的Web服务组合建模及应用[J];电脑知识与技术;2011年21期
5 房丙午;季红梅;汪永涛;;服务请求驱动的语义Web服务组合方法[J];计算机系统应用;2011年08期
6 齐连永;窦万春;;跨组织协同中基于局部服务质量优化的Web服务组合方法[J];计算机集成制造系统;2011年08期
7 骆翔宇;谭征;苏开乐;吴立军;;一种基于认知模型检测的Web服务组合验证方法[J];计算机学报;2011年06期
8 黄亮;姚放吾;金仙力;;Apache ODE环境下Web服务组合技术的研究[J];计算机技术与发展;2011年07期
9 张海腾;邵志清;郑红;;Web服务运行时的监控和性能数据动态采集[J];计算机集成制造系统;2011年08期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前3条
1 刘波;吴家铸;;Web服务组合分布式协调模型研究[A];2006年全国开放式分布与并行计算学术会议论文集(二)[C];2006年
2 仲晶;黄志球;;面向服务质量的Web服务选择方法:研究综述[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
3 郑栋;张育平;;基于语义的动态Web服务组合系统架构[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
中国博士学位论文全文数据库 前10条
1 冯名正;Web服务组合关键技术研究[D];东南大学;2006年
2 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
3 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年
4 辜希武;Web服务组合形式化模型研究[D];华中科技大学;2007年
5 康辉;基于PI-演算的CPN在移动通信服务建模的研究与应用[D];吉林大学;2008年
6 门鹏;基于Petri网的Web服务组合相关技术研究[D];西安电子科技大学;2009年
7 刘兵;基于Web服务组合的网格工作流研究[D];中国科学技术大学;2007年
8 成睿星;基于范例推理技术的服务组合研究[D];北京邮电大学;2008年
9 童红霞;基于Agent的Web服务组合技术研究[D];上海交通大学;2009年
10 温嘉佳;Web服务组合及其相关技术的研究[D];北京邮电大学;2007年
中国硕士学位论文全文数据库 前10条
1 李晶睿;数据可视化的Web服务及其组合的研究与开发[D];武汉理工大学;2007年
2 陈旭晖;基于规划的语义Web服务组合技术研究[D];福州大学;2006年
3 杨秀丽;基于有色Petri网的Web服务组合[D];吉林大学;2007年
4 贾志淳;基于Pi演算的Web服务组合兼容性验证方法研究[D];大连海事大学;2008年
5 宋英杰;基于OCL的Web服务组合形式化约束研究[D];大连海事大学;2009年
6 孙长俊;Web服务组合关系的研究与实现[D];河海大学;2007年
7 王赫;基于着色赋时Petri网的Web服务组合流程建模研究[D];大连海事大学;2008年
8 马临萍;基于WS-BPEL的web服务组合技术研究[D];西北大学;2008年
9 陈阳;Web服务组合模型及相关技术的研究[D];哈尔滨工程大学;2008年
10 浦洁;基于Pi演算的Web服务组合模型与WSDL转换[D];吉林大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978