University of Strathclyde
WS-BPEL is the standard for specifying and executing business processes by orchestrating Web Services. Abstract and executable processes are two kinds of BPEL processes that are defined in the BPEL standard. An abstract process can be used as a process template, which can be completed and made executable through \"Executable completion\". The BPEL standard defines a set of rules that must be obeyed during such an executable completion. In this paper, the authors present an algorithm for validating whether an executable BPEL process is a valid executable completion of an abstract BPEL process.