Options
Spezifikation von interoperablen Webservices mit XQuery
Citation Link: https://doi.org/10.15480/882.11
Other Titles
Specification of interoperable Web Services using XQuery
Publikationstyp
Doctoral Thesis
Publikationsdatum
2003
Sprache
German
Author
Advisor
Title Granting Institution
Technische Universität Hamburg
Place of Title Granting Institution
Hamburg
Examination Date
2003-12-01
Institut
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.
Schlagworte
Automatische Validation
Programmchecker
automatic Validation
Programmchecker
Loading...
Name
MarcusVenzke_Dissertation2003.pdf
Size
1.96 MB
Format
Adobe PDF