Correctness of services and their composition

Niels Lohmann

doi:10.18453/rosdok_id00000716

Niels Lohmann

Correctness of services and their composition

Universität Rostock, 2010

https://doi.org/10.18453/rosdok_id00000716

Abstract: 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.

Dissertation Freier Zugang

Titel:

Correctness of services and their composition

Beteiligte Personen:

Niels Lohmann[VerfasserIn]
	142476889
Karsten Wolf , Prof. Dr.[AkademischeR BetreuerIn]
Wil M. P. van der Aalst , prof. dr. ir.[AkademischeR BetreuerIn]
Mathias Weske , Prof. Dr.[AkademischeR BetreuerIn]

Beteiligte Körperschaften:

Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution]
	10085032-7

Zusammenfassung:

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. [Englisch]

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. [Deutsch]

Dokumenttyp:

Dissertation

Einrichtung:

Fakultät für Informatik und Elektrotechnik

Sprache:

Englisch

Sachgruppe der DNB:

004 Informatik

Veröffentlichung /
Entstehung:

Rostock

Rostock: Universität Rostock

2010