作者:陈胜 鲍亮 陈平 胡圣明 王萌业务流程执行语言bpel片段图数据竞争检测死锁检测约束求解
摘要:针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁;通过求BPEL片段图中节点间的可达性以判定节点间的可并发性来检测流程中的数据竞争.该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性.实际应用结果表明,该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《西安电子科技大学学报》(CN:61-1076/TN)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《西安电子科技大学学报》发挥我校的学术优势,反映国内外高质量、高水平的最新科研成果,体现通信与电子信息特色,扩大学报的影响,促进国内外学术交流,热心培养学术人才,为"科教兴国"和"科教兴校"服务。
杂志详情