Specification and Validation of the Business Process Execution Language for Web Services