XML Query Evaluation in Validation and Monitoring of Web Service Interface Contracts

XML Query Evaluation in Validation and Monitoring of Web Service Interface Contracts

Sylvain Hallé, Roger Villemaire
DOI: 10.4018/978-1-61520-727-5.ch018
(Individual Chapters)
No Current Special Offers


Web service interface contracts define constraints on the patterns of XML messages exchanged between cooperating peers. The authors provide a translation between Linear Temporal Logic (LTL) and a subset of the XML Query Language XQuery, and show that an efficient validation of LTL formulæ can be achieved through the evaluation of XQuery expressions on message traces. Moreover, the runtime monitoring of interface constraints is possible by feeding the trace of messages to a streaming XQuery processor. This shows how advanced XML query processing technologies can be leveraged to perform trace validation and runtime monitoring in web service production environments.
Chapter Preview


In layman's terms, a web service can be described as an independent software system providing its functionality through the exchange of messages. Generally, a service resides on a remote, public server accessible through the Internet using standard protocols. For example, when using the Simple Object Access Protocol (SOAP) over HTTP, communications to and from a web service are realized through the sending of XML documents to an endpoint URL. Among popular web service providers, we mention Amazon and Google. Figure 1 shows how, for example, one can send a request to a map service to obtain the geographical coordinates of a street address.

Figure 1.

Communications with a web service are carried through the exchange of XML messages in sequence.


Complete Chapter List

Search this Book: