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

发布时间：2017-09-20 12:26

  本文关键词：基于CPN的BPEL活动协同授权一致性检测机制研究

  更多相关文章： BPEL 组合Web服务 活动 协同授权 CPN 一致性检测

【摘要】：BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点。通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础。最后,通过实例说明了检测机制的有效性。
【作者单位】： 华中师范大学教育信息技术学院;青少年网络心理与行为教育部重点实验室;
【关键词】： BPEL 组合Web服务 活动 协同授权 CPN 一致性检测
【基金】：华中师范大学中央高校基本科研业务费项目(CCNU13A05053) 教育部人文社科项目(11YJA880163) 湖北省教育规划课题(2011B039) 武汉市科技计划项目(2014060101010030) 国家“十二五”科技支撑计划课题(2012BAD35B02)资助
【分类号】：TP393.08
【正文快照】： 1引言业务流程执行语言BPEL(Business Process ExecutionLanguage)提供了Web服务组合的标准模型[1],它以流程的方式定义了Web服务的协同方式。BPEL活动之间具有分工性、依赖性和交互性的特点,其调用比一个单独Web服务调用需要更多的安全需求,需遵循动态授权、最小权限原则和职

【参考文献】

中国期刊全文数据库 前2条

1 唐佳俊;黄志球;王进;;一种Web服务组合的可信评估方法[J];计算机科学;2013年02期

2 宋巍;唐金辉;张功萱;马晓星;;WS-BPEL服务可替换性分析[J];中国科学:信息科学;2012年03期

【共引文献】

中国期刊全文数据库 前10条

1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期

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

3 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期

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

5 熊杰;刘湘伟;周国辉;;基于MC的电子对抗情报系统ESCPN模型性能分析[J];兵工自动化;2010年08期

6 喻平;曹继平;宋建社;章涛;;改进的模糊Petri网算法及其在故障诊断中的应用[J];兵工自动化;2011年06期

7 王海燕;王红军;卓奕君;;基于Petri网的底盘总装线人员配置优化研究[J];北京信息科技大学学报(自然科学版);2009年04期

8 方可;马萍;杨明;;仿真可信度评估中的AHP超越权重[J];北京航空航天大学学报;2011年05期

9 左春荣;张志萍;;基于Petri网的第三方物流配送系统的建模研究[J];商业研究;2008年04期

10 谢富平;;基于Petri网的工作流系统不确定性时间信息的计算[J];江西师范大学学报(自然科学版);2012年01期

中国重要会议论文全文数据库 前10条

1 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年

2 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年

3 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量，努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集（下册）[C];2008年

4 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

5 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集（三）[C];2006年

6 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年

7 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年

8 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

9 张雷;;一种计算机取证的时间Petri网推理方法[A];2008'中国信息技术与应用学术论坛论文集（二）[C];2008年

10 何晓升;余春艳;陈凤钦;;信号灯适应性控制的DSPN建模[A];2009系统仿真技术及其应用学术会议论文集[C];2009年

中国博士学位论文全文数据库 前10条

1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年

2 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年

3 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年

4 刘思华;电网故障诊断方法的研究[D];山东大学;2010年

5 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年

6 吴镝;面向RP领域的Web服务自主组建方法研究与应用[D];上海大学;2011年

7 李宪华;服务机器人双臂协作技术研究及实现[D];上海大学;2011年

8 朱强;基于对等网络架构的新型控制系统研究与实现[D];上海大学;2011年

9 刘昌平;可信计算环境安全技术研究[D];电子科技大学;2011年

10 吴限德;快速响应小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年

中国硕士学位论文全文数据库 前10条

1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年

2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年

3 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年

4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年

5 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年

6 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年

7 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年

8 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年

9 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年

10 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年

【二级参考文献】

中国期刊全文数据库 前10条

1 吕建;马晓星;陶先平;徐锋;胡昊;;网构软件的研究与进展[J];中国科学E辑:信息科学;2006年10期

2 肖文;张自力;李伟华;;基于QoS的可信Web服务组合研究[J];计算机科学;2011年06期

3 刘方方;史玉良;张亮;施伯乐;;基于进程代数的Web服务合成的替换分析[J];计算机学报;2007年11期

4 宋巍;马晓星;吕建;;Web服务组合动态演化的实例可迁移性[J];计算机学报;2009年09期

5 李喜彤;范玉顺;;Web服务流程相容性和相似性分析[J];计算机学报;2009年12期

6 郎波;刘旭东;王怀民;谢冰;毛晓光;;一种软件可信分级模型[J];计算机科学与探索;2010年03期

7 洪宏;黄志球;沈国华;钱巨;刘春勇;;支持软件可信评估的框架及其应用研究[J];计算机科学与探索;2011年02期

8 沈国华;黄志球;钱巨;徐拥军;郝进;赵文耘;彭鑫;;软件可信评估模型及其工具实现[J];计算机科学与探索;2011年06期

9 孟琳琳;赵伟男;孙海龙;刘旭东;;Web服务可信证据收集与评估机制研究[J];计算机科学与探索;2011年07期

10 胡昊;殷琴;吕建;;虚拟计算环境中服务行为与质量的一致性[J];软件学报;2007年08期

【相似文献】

中国期刊全文数据库 前10条

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期

中国重要会议论文全文数据库 前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年

，

本文编号：888036