title: |
Correctness of services and their composition |
|
contributing persons: |
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] |
|
contributing corporate bodies: |
Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution] |
 |
10085032-7 |
|
|
abstract: |
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.
[English] |
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.
[German] |
|
document type: |
|
institution: |
Faculty of Computer Science and Electrical Engineering |
|
language: |
|
subject class (DDC): |
004 Data processing Computer sciences |
|
|
publication / production: |
Rostock
Rostock: Universität Rostock
|
2010
|
|
|
identifiers: |
|
|
access condition: |
|
license/rights statement: |
all rights reserved This work may only be used under the terms of the German Copyright Law (Urheberrechtsgesetz). |
|
|
RosDok id: |
rosdok_disshab_0000000505 |
created / modified: |
15.11.2010 / 08.08.2023
|
metadata license: |
The metadata of this document was dedicated to the public domain (CC0 1.0 Universal Public Domain Dedication). |