10.18453/rosdok_id00000716 Lohmann, Niels Niels Lohmann http://d-nb.info/gnd/142476889 Universität Rostock 2010 004 Data processing Computer sciences 2010 en http://purl.uni-rostock.de/rosdok/id00000716 urn:nbn:de:gbv:28-diss2010-0138-3 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.