SAP + Stanford Logic Group slide-4

What's A Web Service?

A service with a contract.
Really a set of local "laws".

a possibly remote procedure with an

invocation that is described in a standard (preferably XML-based) machine readable syntax

reachable via standard Internet protocols

including at a minimum a description of the allowed input and output messages, as well as

possible semantic annotation of the service function and data meaning.