Specifications using XQuery Expressions on Traces

Abstract

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… (More)
DOI: 10.1016/j.entcs.2004.05.004

Topics

2 Figures and Tables

Slides referencing similar topics