论文部分内容阅读
在目前对于服务组合的研究中，对于用业务流程执行语言（BPEL）和WSCL等标准语言来描述的服务来说，语言本身缺乏对组合正确性进行检验的支持，必须借助相关的形式化工具来完成对服务组合的检验．为了解决BPEL对检验支持的不足，基于接口自动机这一形式化工具，对BPEL中主要语言元素到接口自动机进行转换，转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组舍进行验证，最后通过一个实例证明了转换方法的有效性．