BPEL静态缺陷检测方法

作者：杨学红; 黄俊飞; 宫云战; 刘传昌

来源：北京邮电大学学报, 2011, (02): 108-112.

• 业务流程执行语言
• 缺陷模式
• web服务组合
• 缺陷检测 business process execution language
• defect pattern
• web service composition
• defect detecting

为了对广泛流行的业务流程执行语言(BPEL)进行静态缺陷检测,深入研究了BPEL程序中可能存在的各种缺陷,提出了面向缺陷模式的BPEL静态检测方法.面向缺陷模式检测的方法采用扩展有限状态机对缺陷进行建模,通过属性状态变迁条件判断缺陷状态,并在所有控制流汇合节点上合并相同属性状态的状态机实例,从而避免了冗余判断的问题.该方法已用于BPEL的缺陷检测系统中.实例验证结果说明,采用该方法进行测试有效可行,可用于提升流程的可靠性和准确性.

• 单位
  网络与交换技术国家重点实验室; 北京邮电大学