Correctness of services and their composition [Elektronische Ressource] / Niels Lohmann

CORRECTNESS OF SERVICESAND THEIR COMPOSITIONniels lohmannCopyright © 2010 by Niels Lohmann. Some rights reserved.This thesis is licensed under the Creative Commons Attribution-Noncommercial-ShareAlike 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0 or send a letter to Creative Commons, 171 Second Street, Suite 300,San Francisco, California, 94105, USA.A library record is available from the Eindhoven University of Technology Library.Lohmann, NielsCorrectness of services and their composition / by Niels Lohmann– Eindhoven: Technische Universiteit Eindhoven, 2010. – Proefschrift. –ISBN 978-90-386-2318-4NUR 993siks Dissertation Series No. 2010-37The research reported in this thesis has been carried out under the auspices of SIKS,theDutch Research School for Information and Knowledge Systems.The research reported in this theses has been partially supported by the dfg within grant“Operating Guidelines for Services” (WO 1466/8-1) and by the bmbf, project “Tools4BPEL”,project number 01ISE08.Printed by University Press Facilities, Eindhoven.Cover Design by Paul Verspaget.CORRECTNESS OF SERVICESAND THEIR COMPOSITIONPROEFSCHRIFTter verkrijging van de graad van doctor aan deTechnische Universiteit Eindhoven, op gezag van derector magnificus, prof.dr.ir. C.J. van Duijn, voor eencommissie aangewezen door het College voorPromoties in het openbaar te verdedigen opmaandag 27 september 2010 om 14.