Patent ID: 7702749

Claim:
A computer-implemented method for checking the compatibility of a first porttype of a first Web service and a second porttype of a second Web service, the method comprising: extracting a first safety (S1) from the first porttype of the first Web service and a second safety (S2) from the second porttype of the second Web service; testing the compatibility of the first safety with the second safety by binding the first safety with the second safety (S1:=:S2) to determine whether the result of the binding produces interoperability between Web services; wherein the first safety or the second safety restricts an order in which external applications can invoke operations of the first Web service or the second Web service, and further wherein the first safety or the second safety at least in part comprises a sequence safety, a parallel safety, a choice safety, a recursion safety, or a safety of the form (O/S 0 ).