Vogt, Friedrich H.Friedrich H.Vogt1136155112Venzke, MarcusMarcusVenzke2004-01-152004-01-152003http://tubdok.tub.tuhh.de/handle/11420/13Die 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.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.dehttp://rightsstatements.org/vocab/InC/1.0/Automatische ValidationProgrammcheckerautomatic ValidationProgrammcheckerDoctoral Thesisurn:nbn:de:gbv:830-opus-51410.15480/882.11XQueryFormale SpezifikationstechnikSpezifikationSpezifikationsspracheSpezifikationstechnikWeb Services11420/1310.15480/882.11930767834Other