BPEL流程数据竞争和死锁检测算法研究

BPEL流程数据竞争和死锁检测算法研究

陈胜;鲍亮;陈平;胡圣明;王萌

【期刊名称】《西安电子科技大学学报（自然科学版）》 【年(卷),期】2008(035)006

【摘要】针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁,通过求BPEL片段图中节点问的可达性以判定节点间的可并发性来检测流程中的数据竞争.该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性.实际应用结果表明.该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性. 【总页数】8页(1056-1062,1068)

【关键词】业务流程执行语言;BPEL片段图;数据竞争检测;死锁检测;约束求解 【作者】陈胜;鲍亮;陈平;胡圣明;王萌

【作者单位】西安电子科技大学,软件工程研究所,陕西,西安,710071;西安电子科技大学,软件工程研究所,陕西,西安,710071;西安电子科技大学,软件工程研究所,陕西,西安,710071;西安电子科技大学,软件工程研究所,陕西,西安,710071;西安电子科技大学,软件工程研究所,陕西,西安,710071 【正文语种】中文 【中图分类】TP311 【相关文献】

1.周界视频监控中的抛物检测算法研究周界视频监控中的抛物检测算法研究 [C],