Please use this identifier to cite or link to this item:
Title: Spezifikation von interoperablen Webservices mit XQuery
Other Titles: Specification of interoperable Web Services using XQuery
Language: German
Authors: Venzke, Marcus 
Keywords: Automatische Validation;Programmchecker;automatic Validation;Programmchecker
Issue Date: 2003
Abstract (german): Die Arbeit löst Interoperabilitätsprobleme von Webservices. Der W3C-Standard zur Spezifikation ihrer Schnittstellen (WSDL) wird präzisiert. Dazu wird ein Spezifikationsverfahren (SXQT) entwickelt, das erlaubt, Schnittstellen mit prädikatenlogischen Ausdrücken (in XQuery) zu spezifizieren. Die Einhaltung solcher Spezifikationen wird mit der automatischen Validation geprüft.
Abstract (english): 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), which allows specifying interfaces using expressions of first order logic (in XQuery). Compliance with such specifications is checked with the automatic validation.
DOI: 10.15480/882.11
Institute: Telematik E-17 
Type: Dissertation
Advisor: Vogt, Friedrich H. 
Thesis grantor: Technische Universität Hamburg
Appears in Collections:Publications (tub.dok)

Files in This Item:
File Description SizeFormat
MarcusVenzke_Dissertation2003.pdf2 MBAdobe PDFThumbnail
Show full item record

Page view(s)

Last Week
Last month
checked on May 26, 2019


checked on May 26, 2019

Google ScholarTM



Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.