Specifications using XQuery Expressions on Traces

Authors:
Marcus Venzke
Affiliations:
Telematics Department, Technische Universität Hamburg-Harburg, Hamburg, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2004

Citing 3
Cited 3

Communicating sequential processes

Communicating sequential processes
Designing programs that check their work

Journal of the ACM (JACM)
Contracts and types

Communications of the ACM - Service-oriented computing

XML Methods for Validation of Temporal Properties on Message Traces with Data

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Runtime monitoring of web service choreographies using streaming XML

Proceedings of the 2009 ACM symposium on Applied Computing
Extending model checking to data-aware temporal properties of web services

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods

Quantified Score

Hi-index	0.00

Visualization

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 behaviour including SOAP modules. The automatic validation detects non-conformance by comparing occurring message sequences with the protocol's specification.