A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language
A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language
复制标题
基于Petri网的业务流程执行语言Web服务兼容性分析与组合方法
DOI：
10.1109/tase.2008.916747
复制
发表时间：
2009-01-01
影响因子：
5.6
通讯作者：
Zhou, MengChu
中科院分区：
文献类型：
--
作者：
Tan, Wei;Fan, Yushun;Zhou, MengChu
自动Web服务组合作为面向服务体系结构中潜在的灵丹妙药正在获得势头。对服务间兼容性分析和间接组合的需求已经超出了现有服务组合/验证技术所能处理的范围。给定两个服务，其接口调用约束由Web服务-业务流程执行语言（WS-BPEL或BPEL）描述，我们分析它们的兼容性，并采用中介作为轻量级方法使它们兼容，而无需更改其内部逻辑。我们首先将BPEL描述转换为服务工作流网，这是一种彩色Petri网（CPN）。基于这种形式，我们分析了两个服务的兼容性，然后设计了一种方法来检查是否存在任何消息中介，以便它们的组合不会违反任何一方施加的约束。最后提出了中介生成方法，以帮助部分兼容服务的自动组合。通过实例验证了本文方法的有效性，并指出了进一步研究的方向。
Automatic Web service composition is gaining momentum as the potential silver bullet in service oriented architecture. The need for interservice compatibility analysis and indirect composition has gone beyond what the existing service composition/verification technologies can handle. Given two services whose interface invocation constraints are described by a Web services-business process execution language (WS-BPEL or BPEL), we analyze their compatibility and adopt mediation as a lightweight approach to make them compatible without changing their internal logic. We first transform a BPEL description into a service workflow net, which is a kind of colored Petri net (CPN). Based on this formalism, we analyze the compatibility of two services, and then devise an approach to check whether there exists any message mediator so that their composition does not violate the constraints imposed by either side. The method for mediator generation is finally proposed to assist the automatic composition of partially compatible services. Our approach is validated through a real-life case and further research directions are pointed out.