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 incre...