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

• 作者: 王萌 胡圣明 陈平 陈胜 鲍亮
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 业务流程执行语言 BPEL片段图 数据竞争检测 死锁检测 约束求解
• 年，卷（期）: 2008,（6）
• 页码范围: 1056-1062,1068
• 页数: 8页
• 分类号: TP311
• 字数: 6295字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2008.06.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡圣明	西安电子科技大学软件工程研究所	19	77	5.0	7.0
2	陈平	西安电子科技大学软件工程研究所	149	1211	17.0	28.0
3	王萌	西安电子科技大学软件工程研究所	19	111	6.0	10.0
4	鲍亮	西安电子科技大学软件工程研究所	10	90	6.0	9.0
5	陈胜	西安电子科技大学软件工程研究所	7	37	3.0	6.0