《计算机学报》文章摘要   全文下载
文章题目	BPEL流程间死锁检测研究
作者	黄俊飞 杨学红 宫云战
作者单位	(北京邮电大学网络与交换技术国家重点实验室 北京 100876)
发表年份	2011
发表月份	12期(2427—2434)
文章摘要	摘要 BPEL流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言，不正确地使用并发和同步操作或不正确的交互都可能会使单一流程内部或流程间产生死锁.死锁问题是一类常见的并发缺陷，可能严重影响系统的可靠性与可用性.更为严重的是，对于业务流程组合这种可靠性和安全性要求极高的系统，一旦发生死锁，将会对业务系统产生严重的后果.为此作者在分析BPEL特性和死锁特征的基础上，提出了一种可在BPEL流程设计阶段检测流程死锁的方法，从而提高流程的可靠性，减少系统的维护代价.文中提出了一种从全局出发进行分析的方法，结合流程间执行的上下文信息，可以有效检测流程间的通信死锁，该方法也适用于其它与流程执行上下文相关的缺陷检测. 关键词 BPEL；死锁；流程摘要；组合服务 中图法分类号 TP311 DOI号：10.3724/SP.J.1016.2011.02427