Specifications using XQuery Expressions on Traces | Zendy

Marcus Venzke | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Specifications using XQuery Expressions on Traces

Author(s) -

Marcus Venzke

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.05.004

Subject(s) - soap , computer science , web service , xquery , interoperability , programming language , protocol (science) , abstraction , formal specification , software engineering , database , xml , world wide web , medicine , philosophy , document structure description , alternative medicine , epistemology , pathology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research