zum Inhalt

 

Lohmann,  Niels

Correctness of services and their composition

Rostock : Universität , 2010

https://doi.org/10.18453/rosdok_id00000716

http://purl.uni-rostock.de/rosdok/id00000716

We study correctness of services and their composition and investigate how the design of correct service compositions can be systematically supported. We thereby focus on the communication protocol of the service and approach these questions using formal methods and make contributions to three scenarios of SOC.

Dissertation Open Access


Einrichtung :
Fakultät für Informatik und Elektrotechnik
Gutachter :
Wolf,  Karsten  (Prof. Dr.)
van der Aalst,  Wil M. P.  (prof. dr. ir.)
Weske,  Mathias  (Prof. Dr.)
Jahr der Abgabe:
2010
Jahr der Verteidigung:
2010
Sprache(n) :
Englisch
übersetzte Zusammenfassung :
Wir studieren die Korrektheit von Services und Servicekompositionen und untersuchen, wie der Entwurf von korrekten Servicekompositionen systematisch unterstützt werden kann. Wir legen dabei den Fokus auf das Kommunikationsprotokoll der Services. Mithilfe von formalen Methoden tragen wir zu drei Szenarien von SOC bei.
Schlagworte:
service-oriented computing, formal methods, correctness
DDC Klassifikation :
004 Informatik
URN :
urn:nbn:de:gbv:28-diss2010-0138-3
Persistente URL:
http://purl.uni-rostock.de/rosdok/id00000716
erstellt am:
2010-11-15
zuletzt geändert am:
2018-06-30
Volltext