Specifications using XQuery Expressions on Traces
Marcus Venzke · Electronic Notes in Theoretical Computer Science · 2004
This paper contributes to the interoperability of web services by proposing the flexible specification technique SXQT in conjunction with the automatic validation, a straightforward approach for detecting non-conformance. SXQT allows different levels of abstraction by specifying individual requirements on a web service's protocol, i.e. its SOAP messages and behaviour including SOAP modules. The automatic validation detects non-conformance by comparing occurring message sequences with the protocol's specification.