Spezifikation von interoperablen Webservices mit XQuery

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.