KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-411138

Methods for Efficient and Accurate Discovery of Services

Junghans, Martin

Abstract:
With an increasing number of services developed and offered in an enterprise setting or the Web, users can hardly verify their requirements manually in order to find appropriate services. In this thesis, we develop a method to discover semantically described services. We exploit comprehensive service and request descriptions such that a wide variety of use cases can be supported. In our discovery method, we compute the matchmaking decision by employing an efficient model checking technique.


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Hochschulschrift
Jahr 2014
Sprache Englisch
Identifikator KITopen ID: 1000041113
Verlag Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Wirtschaftswissenschaften (WIWI)
Institut Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Prüfungsdaten 27.11.2013
Referent/Betreuer Prof. R. Studer
Schlagworte Semantic Web Service Discovery
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page