Open AccessIncremental Verification of Evolving BPEL‐Based Web Composite Service
Author(s) -
Ji Shunhui,
Li Bixin,
Qiu Dong
Publication year - 2016
Publication title -
chinese journal of electronics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.267
H-Index - 25
eISSN - 2075-5597
pISSN - 1022-4653
DOI - 10.1049/cje.2016.01.002
Subject(s) - business process execution language , computer science , control flow , web service , process (computing) , software engineering , property (philosophy) , formal verification , workflow , business process , distributed computing , model checking , service (business) , programming language , service oriented architecture , work in process , database , philosophy , economy , epistemology , marketing , economics , business
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.