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: |
|
Einrichtung: |
Fakultät für Informatik und Elektrotechnik |
|
Sprache: |
|
Sachgruppe der DNB: |
|
|
Veröffentlichung / Entstehung: |
Rostock: Universität Rostock
|
2010
|
|
|
Identifikatoren: |
|
|
Zugang: |
frei zugänglich (Open Access)
|
|
Lizenz/Rechtehinweis: |
alle Rechte vorbehalten Das Werk darf ausschließlich nach den vom deutschen Urheberrechtsgesetz festgelegten Bedingungen genutzt werden. |
|
|
RosDok-ID: |
rosdok_disshab_0000000505 |
erstellt / geändert am: |
15.11.2010 / 08.08.2023
|
Metadaten-Lizenz: |
Die Metadaten zu diesem Dokument sind gemeinfrei (CC0 1.0 Universal Public Domain Dedication). |