Summary

虽然BPEL被OASIS组织作为目前Web服务合成的标准语言,它对于合成过程的容错性支持却存在很多不足,特别是没有提供强有力的异常处理机制.提出一种ECA规则驱动的异常处理机制,可以自动的将用户设定的异常处理逻辑嵌入BPEL流程中,而用户不需要关心复杂的具体实现.并且,考虑到用户的异常处理逻辑通常会被描述成庞大的规则集,本文基于一种描述逻辑提出了对ECA规则的静态语义分析机制,从而可以确保异常处理规则集合是无冗余以及无冲突的.本文所述的异常处理和分析机制已经被实现,并且开发出了相关的GUI工具.

  • Institution
    香港城市大学; 中国科学技术大学

Full-Text