The matching algorithm initially expects the formal specification of a Web service operation as an input. Subsequent, the operation is analyzed to get the structure, whether it is a request or response, including the name of the operation, associated parameters and their data types.