Patent ID: 7536606

Claim:
A method for detecting communications errors between a plurality of communicating computing systems in a web services system, comprising: receiving a first BPEL abstract process for communications to and from a first computing system, wherein the first BPEL abstract process is generated using one or more opaque assignments; receiving a second BPEL abstract process for communications to and from a second computing system, wherein the second BPEL abstract process is generated using one or more opaque assignments; automatically generating a single process model by combining each of the first and second BPEL abstract processes; and checking the single process model for communications errors occurring during one or more communications between the first and second computing systems, wherein checking the single process model for communications errors comprises determining the conformance of each of the first and second BPEL abstract processes with their associated BPEL-executable processes and wherein a communications error determined to be caused by a lack of conformance indicates that changes to an associated BPEL-executable process are not necessary.