goto contents


Niels Lohmann

Correctness of services and their composition

Universität Rostock, 2010

https://doi.org/10.18453/rosdok_id00000716

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.

doctoral thesis   free access    


Portals

OPACGVKDataCite Commons

Rights

all rights reserved

This work may only be used under the terms of the German Copyright Law (Urheberrechtsgesetz).