goto contents

Niels Lohmann

Correctness of services and their composition

Universität Rostock, 2010

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    


OPACGVKDataCite Commons


all rights reserved

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