[发明专利]控制依赖死锁检测方法和装置有效
申请号: | 201310187866.3 | 申请日: | 2013-05-20 |
公开(公告)号: | CN103268254A | 公开(公告)日: | 2013-08-28 |
发明(设计)人: | 杨学红 | 申请(专利权)人: | 中国联合网络通信集团有限公司 |
主分类号: | G06F9/46 | 分类号: | G06F9/46 |
代理公司: | 北京同立钧成知识产权代理有限公司 11205 | 代理人: | 刘芳 |
地址: | 100033 *** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供一种控制依赖死锁检测方法和装置,通过创建用于指示BPEL流程中各个活动之间的资源请求关系的第一矩阵,基于第一矩阵中的元素进行计算,检测BPEL流程中的控制依赖死锁,由于基于第一矩阵中的元素进行计算检测控制依赖死锁,便于计算机实现,避免生成片段图,以及依次以各个节点为起点沿有向线段的方向进行追踪,提高了检测效率。 | ||
搜索关键词: | 控制 依赖 死锁 检测 方法 装置 | ||
【主权项】:
一种控制依赖死锁检测方法,其特征在于,包括:创建第一矩阵,所述第一矩阵用于指示业务流程执行语言BPEL流程中各个活动之间的资源请求关系;基于所述第一矩阵中的元素进行计算,获得每个活动对应的第一目标活动和第二目标活动,所述第一目标活动为所有活动中向所述活动请求资源的活动,所述第二目标活动为所有活动中向所述活动释放资源的活动,判断所述第一目标活动与所述与第二目标活动是否包含相同的活动,若是,则确定检测到所述BPEL流程存在控制依赖死锁。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国联合网络通信集团有限公司,未经中国联合网络通信集团有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201310187866.3/,转载请声明来源钻瓜专利网。