Correctness of services and their composition Lohmann, Niels , 1981- Text theses Text Hochschulschrift 2010 2010 eng electronic resourceremoteComputermedienOnline-Ressourcetext/htmlapplication/pdfapplication/pdfOnline-Ressource graph. Darst. 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. door Niels Lohmann Rostock, Univ., Diss., 2010 Zugl.: Eindhoven, Technische Universiteit, Proefschrift, 2010 Online-Ausg.: [Online-Ausg.] Reproduktion 2010 [Online-Ausg.] Online-Ausg.: |2010|||||||||| Langzeitarchivierung gewährleistet pdager 004.24 004 004 ST 230 ST 233 85.20 54.71 http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2010-0138-3 http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2010-0138-3&pdf http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2010-0138-3 http://d-nb.info/1010530356/34 http://rosdok.uni-rostock.de/metadata/rosdok_disshab_000000000505 Correctness of services and their composition--9789038623184--(DE-627)635367343 urn:nbn:de:gbv:28-diss2010-0138-3 oclc: 838134722 ppn: (DE-627)639531881