Incremental Verification of Evolving BPEL-Based Web Composite Service

Web composite services inevitably evolve to meet various requirements. However, most researchers only considered the verification of single versions. Simply reapplying the original verification techniques on subsequent versions of composite service as they evolve is costly, especially for large-scale services. In this paper, a new approach called Incremental verification (ICV) is proposed to incrementally verify the non-conflict property of evolved versions of Business process execution language (BPEL) based composite service. With a kind of eXtensible control flow graph (XCFG) as the formal model to describe the BPEL process, ICV compares the new version with the old one to identify the process changes which bring threats to the non-conflict property. Then it concentrates on the changed elements to perform the verification, which reduces the cost by skipping the analysis of unchanged elements. Case study shows that the proposed approach is effective and more efficient than the original verification method.