Titel: Spezifikation von interoperablen Webservices mit XQuery
Sonstige Titel: Specification of interoperable Web Services using XQuery
Sprache: Deutsch
Autor/Autorin: Venzke, Marcus
Schlagwörter: Automatische Validation;Programmchecker;automatic Validation;Programmchecker
Erscheinungsdatum: 2003
Zusammenfassung (deutsch): 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.
Zusammenfassung (englisch): 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.
URI: http://tubdok.tub.tuhh.de/handle/11420/13
URN: urn:nbn:de:gbv:830-opus-514
DOI: 10.15480/882.11
Institut: Telematik E-17
Telematics Institute E-17 (Telematics)
Dokumenttyp: Dissertation
Hauptberichter: Vogt, Friedrich H.
Gradverleihende Einrichtung: Technische Universität Hamburg
Enthalten in den Sammlungen:tub.dok

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
MarcusVenzke_Dissertation2003.pdf2 MBAdobe PDFMiniaturbild
Öffnen/Anzeigen

Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.