Business Process Execution Language (BPEL)1 defines a notation for specifying business process behavior based on Web Services. Business processes can be described in two ways:
Executable business processes model actual behavior of a participant in a business interaction.
Business protocols, in contrast, use process descriptions that specify the mutually visible …