Agent-Based MADM Approach to the Dynamic Web Service Selection

Dong Yang,Zhongxin Wu,Bin Yan,Depei Qian,Zhongzhi Luan
DOI: https://doi.org/10.1109/apscc.2007.35
2007-01-01
Abstract:The Business Process Execution Language (BPEL) has become the de-facto standard for the description of Web Service compositions. A variety of formal approaches to decide compatibility and consistency for BPEL processes has been presented. Nevertheless, these approaches suffer from high complexity and state explosion. Therefore we present a lean formalization of BPEL 2.0 based on the pi-calculus, that enables efficient reasoning. Due to our focus on behavioral compatibility and consistency checking (and not on comprehensive formalization), we are able to reduce effort needed for process verification. Besides the exemplary application of our approach, we also compare it to existing BPEL formalizations by means of complexity.
What problem does this paper attempt to address?