Please use this identifier to cite or link to this item:
Fulltext available Open Access
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
Examination Date: 1-Dec-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 
Document Type: Thesis
Thesis Type: Doctoral Thesis
Advisor: Vogt, Friedrich H. 
Thesis grantor: Technische Universität Hamburg
License: In Copyright In Copyright
Appears in Collections:Publications with fulltext

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

Page view(s)

Last Week
Last month
checked on Dec 4, 2022


checked on Dec 4, 2022

Google ScholarTM


Note about this record

Cite this record


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