WSVal
Automatic Validation of Web Services
| Contact | Dr. Marcus Venzke |
| Start | 1. July 2001 |
| End | 31. December 2008 |
Project Description
The autonomous development of components in service oriented computing requires emphasising on interface specifications. The goal of the project is to investigate the automatic validation for Web Services. By automatic validation we mean the process of checking if occurring message flows conform the their specifications. It is performed by a general purpose validator, which observes messages exchanged by communication partners and analyses the conformance to the previously read specification. This allows to immediately detect non-conformance and thus corrective actions before putting risk on the systems dependability. The automatic validation can be applied to a single interface between a pair of communication partners or to the choreography of messages exchanged between several communication partners that can be part of a composite web service.
Since available specification techniques for Web Services are either too restricted in their expressiveness or not well-suited for the automatic validation, a new specification technique "Specifications using XQuery expressions on Traces" (SXQT) is developed in the project. Extending the W3C's Web Services Description Language message-flows are constrained in a temporal and structural manner with expressions of first order logic.
Publications
Marcus Venzke. Specifications using XQuery Expressions on Traces. In Proceedings of the First International Workshop on Web Services and Formal Methods (WS-FM'04), December 2004. Pisa, Italy.
Published in: Electronic Notes in Theoretical Computer Science, Volume 105, p. 109-118, 10 December 2004.
@InProceedings{Telematik_Venzke_2004_Specifications,
author = {Marcus Venzke},
editor = {Mario Bravetti and Gianluigi Zavattaro},
title = {Specifications using XQuery Expressions on Traces},
booktitle = {Proceedings of the First International Workshop on Web Services and Formal Methods (WS-FM'04)},
month = dec,
year = 2004,
location = {Pisa, Italy},
note = {Published in: Electronic Notes in Theoretical Computer Science, Volume 105, p. 109-118, 10 December 2004},
}
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.
Marcus Venzke. Spezifikation von interoperablen Webservices mit XQuery. PhD Thesis, Hamburg University of Technology, Hamburg, Germany, December 2003.
@PhdThesis{Telematik_Venzke_2003_Spezifikation,
author = {Marcus Venzke},
title = {Spezifikation von interoperablen Webservices mit XQuery},
school = {Hamburg University of Technology},
address = {Hamburg, Germany},
month = dec,
year = 2003,
}
Abstract:
The thesis solves interoperability issues regarding Web Services. The W3C standard for the specification of their interfaces (WSDL) is made more precise. This is done by developing a specification technique (SXQT), that allows specifying interfaces using expressions of first order logic (in XQuery). Compliance with such specifications is checked with the automatic validation.
Marcus Venzke. Automatic Validation of Web Services. In Proceedings of the 8th CaberNet Radicals Workshop, October 2003. Ajaccio, Corsica.
@InProceedings{Telematik_Venzke_2003_Validation,
author = {Marcus Venzke},
editor = {Witold Abramowicz},
title = {Automatic Validation of Web Services},
booktitle = {Proceedings of the 8th CaberNet Radicals Workshop},
day = {5-8},
month = oct,
year = 2003,
location = {Ajaccio, Corsica},
}
Marcus Venzke and Stefan Pitzek. Accessing Fieldbus Systems via Web Services. In Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems (WISES'03), June 2003. Vienna, Austria.
@InProceedings{Telematik_VP_2003_WebServices,
author = {Marcus Venzke and Stefan Pitzek},
title = {Accessing Fieldbus Systems via Web Services},
booktitle = {Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems (WISES'03)},
day = {27},
month = jun,
year = 2003,
location = {Vienna, Austria},
}