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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Chinese Journal of Electronics 2016, Vol.25 (1), p.6-12
Hauptverfasser: Ji, Shunhui, Li, Bixin, Qiu, Dong
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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 e Xtensible 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.
ISSN:1022-4653
2075-5597
DOI:10.1049/cje.2016.01.002