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

基于CPN的BPEL活动协同授权一致性检测机制研究

上超望  刘清堂  赵刚  童名文  
【摘要】:BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点。通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础。最后,通过实例说明了检测机制的有效性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王建雨;田锡天;耿俊浩;;基于结构元的BPMN—BPEL映射方法[J];机械制造;2010年09期
2 吕鸣剑;孟东升;;基于WS-BPEL的业务流程设计研究[J];计算机与数字工程;2009年11期
3 洪晓霞;方洁;江丕俊;;基于Petri网业务流程建模及到BPEL4WS的转换[J];计算机技术与发展;2011年02期
4 李德生,王海洋;一种将业务规则与BPEL有效集成的方法[J];计算机应用;2005年11期
5 耿佳彬;;一种基于BPEL的网格工作流引擎[J];微计算机信息;2008年33期
6 莫裕清;;用两阶段提交协议保证WEB服务的事务[J];中国科技信息;2006年09期
7 张永胜;徐丽丽;齐峰;王强;;基于三层组织模型的一种Web服务组合策略[J];计算机工程与应用;2008年22期
8 张子胤;;一种支持Web Services动态组合的网络结构[J];广东通信技术;2008年11期
9 王玉英;陈平;;基于赋时有色Petri网的Web组合服务建模[J];计算机科学;2010年10期
10 贾向阳;应时;张韬;余晓峰;;一个支持业务过程动态演化的可反射框架[J];计算机工程;2006年10期
11 毛瑞雪;;基于Pi演算的Web服务组合过程框架[J];计算机与数字工程;2011年07期
12 何涛;缪淮扣;钱忠胜;;基于π-演算的web服务流的分析与建模(英文)[J];东南大学学报(英文版);2006年03期
13 邓晶;夏润亮;王志坚;;BPEL服务组合优化架构[J];计算机系统应用;2010年12期
14 莫裕清;;基于两阶段提交协议的组合WEB服务[J];价值工程;2011年07期
15 张曼;段振华;王小兵;;BPEL流程建模中的交叠模式分析与转换[J];软件学报;2011年11期
16 孙晓平;基于WEB SERVICE网络选课系统的研究[J];长春师范学院学报;2005年09期
17 陈靖;杨丹;文俊浩;;SOA技术在电信业务编排中的应用[J];计算机科学;2006年08期
18 林彬;孙莉;曹祺;;基于BPEL的易货交易系统安全性研究[J];计算机应用;2009年S2期
19 宋朝云;张峻;;一种基于UML 2.0活动图的Web服务业务流程测试方法[J];山东科学;2010年04期
20 杨鑫,陈俊亮;一种基于Web services的业务提供方案[J];电信科学;2005年09期
中国重要会议论文全文数据库 前3条
1 张功源;李必信;邱栋;吉顺慧;;一种基于并发的BPEL控制流模型的分析及验证[A];第六届中国测试学术会议论文集[C];2010年
2 何涛;缪淮扣;钱忠胜;;基于π-演算的web服务流的分析与建模(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
3 陈步桥;徐涛;;一种基于BPEL加入语义的动态服务组合框架[A];中国通信学会第六届学术年会论文集(上)[C];2009年
中国博士学位论文全文数据库 前4条
1 吴江霞;Web组合服务QoS属性预测方法研究[D];北京邮电大学;2008年
2 邓娜;BPEL流程生命周期中若干关键问题研究[D];北京邮电大学;2011年
3 杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
4 张曼;面向服务的业务流程建模与验证研究[D];西安电子科技大学;2012年
中国硕士学位论文全文数据库 前10条
1 钱忠山;基于BPEL的医疗信息交换系统[D];哈尔滨工业大学;2011年
2 黄宇;基于BPEL的服务组合动态优化机制研究[D];重庆大学;2012年
3 宫丙寅;基于BPEL的多学科优化流程建模与调度技术研究[D];南京理工大学;2012年
4 周如民;BPEL引擎及动态恢复机制的研究与实现[D];西安电子科技大学;2009年
5 邓敏;基于BPEL的服务生成系统的研究与实现[D];北京邮电大学;2010年
6 吴彦;基于BPEL的服务构件组合执行引擎研究与实现[D];大连海事大学;2011年
7 汪正舟;基于行为属性和依赖关系的BPEL相似度度量研究[D];南京理工大学;2013年
8 王秀武;基于随机Petri网的BPEL服务组合分析方法的研究[D];重庆大学;2011年
9 刘春杰;基于BPEL的动态Web服务组合的自适应研究[D];山东科技大学;2011年
10 穆林;基于BPEL的Web服务组合技术研究与实现论[D];河海大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978