Seite drucken

WSVal

Automatic Validation of Web Services

Kontakt Dr. Marcus Venzke
Beginn 1. Juli 2001
Ende 31. Dezember 2008

Projektbeschreibung

Die autonome Entwicklung von Komponenten in Service-Orientierten Systemen erfordert einen Fokus auf Schnittstellenspezifikationen. Ziel dieses Projektes ist dabei die Untersuchung der automatischen Validation. Die automatische Validation ist der Prozess auftretende Nachrichtenflüsse gegen die Spezifikation zu prüfen. Sie wird vom universellen Validator durchgeführt, der zwischen Kommunikationspartnern auftretende Nachrichten beobachtet und ihre Übereinstimmung mit der vorher gelesenen Spezifikation prüft. So können Fehler unverzüglich erkannt und korrigierende Maßnamen ergriffen werden, bevor die Verlässlichkeit des Systems gefährdet wird. Die automatische Validation kann auf eine einzelne Schnittstelle zwischen zwei Kommunikationspartnern angewendet werden oder auf die Choreographie von Nachrichten zwischen verschiedenen Kommunikationspartnern, die Teil eines Composite-Webservice sind.

Verfügbare Spezifikationstechniken für Webservices sind entweder in ihrer Ausdrucksfähigkeit zu eingeschränkt oder nicht für die automatische Validation geeignet. Daher wurde im Projekt die neue Spezifikationstechnik "Specifications using XQuery expressions on Traces" (SXQT) entwickelt. Sie erweitert die "Web Services Description Language" (WSDL) des W3C um Ausdrücken der Prädikatenlogik erster Ordnung, die Nachrichtenflüsse temporal und strukturell beschränken.

Publikationen

Marcus Venzke. Specifications using XQuery Expressions on Traces. In Proceedings of the First International Workshop on Web Services and Formal Methods (WS-FM'04), Dezember 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, Dezember 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, Oktober 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 und Stefan Pitzek. Accessing Fieldbus Systems via Web Services. In Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems (WISES'03), Juni 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}, }