mycoreobjectrosdok_disshab_0000000505rosdok_disshab_0000000505rosdokdisshabrosdok_derivate_00000043812023-08-08T10:02:03.552Z2010-11-15T13:37:29.081Zadministratorpublished1rosdok_derivate_0000004381truetruederivate_types:fulltextVolltextfulltextwf_edit_epub wf_register_epubstate:publishedstate:publishedveröffentlichtpublishedrosdok/id00000716639531881MODS updated during RosDok migration in June 2021DissertationHochschulschrift142476889NielsLohmann1981-VerfasserInautCorrectness of services and their compositionenProf. Dr.KarstenWolfAkademischeR BetreuerIndgsprof. dr. ir.Wil M. P.van der AalstAkademischeR BetreuerIndgsProf. Dr.MathiasWeskeAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00000716http://purl.uni-rostock.de/rosdok/id00000716urn:nbn:de:gbv:28-diss2010-0138-3004 InformatikFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2010monographic20102010Universitätsbibliothek RostockRostock20102010We 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.Wir studieren die Korrektheit von Services und Servicekompositionen und untersuchen, wie der Entwurf von korrekten Servicekompositionen systematisch unterstützt werden kann. Wir legen dabei den Fokus auf das Kommunikationsprotokoll der Services. Mithilfe von formalen Methoden tragen wir zu drei Szenarien von SOC bei.service-oriented computingformal methodscorrectnessUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000716doctype:epubdoctype:epubDokumenttypDocument typedoctype:epub.dissertationdoctype:epub.dissertationDissertationdoctoral thesisdiniPublType:doctoralThesis diniPublType2022:PhDThesis XMetaDissPlusThesisLevel:thesis.doctoralinfo:eu-repo/semantics/doctoralThesisdocumentnatureOfContent:ppn_105825778natureOfContent:ppn_105825778HochschulschriftdiniPublType2022:DoctoralThesisdiniPublType2022:DoctoralThesisDissertation oder HabilitationDoctoral thesisDRIVERdiniPublType2022:PhDThesisdiniPublType2022:PhDThesisDissertationPhD thesisKDSF (Pu34)XMetaDissPlusThesisLevel:thesis.doctoralXMetaDissPlusThesisLevel:thesis.doctoralDoktorarbeitdoctoral thesisrfc5646:enrfc5646:enEnglischEnglishengengSDNB:004SDNB:004004 Informatik004 Data processing Computer sciencesinstitution:unirostockinstitution:unirostockUniversität RostockUniversity of RostockUniversität RostockUniversität RostockUni.Rostockhttp://d-nb.info/gnd/38329-6institution:unirostock.iefinstitution:unirostock.iefFakultät für Informatik und ElektrotechnikFaculty of Computer Science and Electrical EngineeringUniversität Rostock. Fakultät für Informatik und ElektrotechnikFakultät für Informatik<br />und ElektrotechnikUni.Rostock.Fakultaet.IEFhttp://d-nb.info/gnd/10085032-7accesscondition:openaccessaccesscondition:openaccessfrei zugänglich (Open Access)open accesshttp://purl.org/coar/access_right/c_abf2OAfreeinfo:eu-repo/semantics/openAccess[DE-28]Open Access$gControlled Vocabulary for Access Rights$uhttp://purl.org/coar/access_right/c_abf2licenseinfo:metadatalicenseinfo:metadataLizenzen für Metadatenlicenseinfo:metadata.cc0licenseinfo:metadata.cc0Lizenz Metadaten: CC0license metadata: CC0/creativecommons/p/zero/1.0/88x31.pnghttps://creativecommons.org/publicdomain/zero/1.0/licenseinfo:depositlicenseinfo:depositVeröffentlichungsgenehmigungpermission to storelicenseinfo:deposit.rightsgrantedlicenseinfo:deposit.rightsgrantedNutzungsrechte erteiltrights grantedlicenseinfo:worklicenseinfo:workWerkworklicenseinfo:work.rightsreservedlicenseinfo:work.rightsreservedalle Rechte vorbehaltenall rights reserved/creativecommons/r/reserved/0.9/88x31.png[DE-28]Urheberrechtsschutz 1.0$gRights Statements$uhttp://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/Correctness of services and their compositionCorrectness of services and their compositiongnd:142476889gnd:10085032-7gnd:142476889gnd:10085032-7rosdok_disshab_0000000505-d274486e39gnd:142476889Niels LohmannNiels Lohmannrosdok_disshab_0000000505-d274486e60Prof. Dr. Karsten WolfProf. Dr. Karsten Wolfrosdok_disshab_0000000505-d274486e72prof. dr. ir. Wil M. P. van der Aalstprof. dr. ir. Wil M. P. van der Aalstrosdok_disshab_0000000505-d274486e84Prof. Dr. Mathias WeskeProf. Dr. Mathias Weskerosdok_disshab_0000000505-d274486e97gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikNiels LohmannProf. Dr. Karsten Wolfprof. dr. ir. Wil M. P. van der AalstProf. Dr. Mathias WeskeUniversität Rostock Fakultät für Informatik und ElektrotechnikNiels LohmannProf. Dr. Karsten Wolfprof. dr. ir. Wil M. P. van der AalstProf. Dr. Mathias WeskeUniversität Rostock Fakultät für Informatik und ElektrotechnikNiels LohmannRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00000716http://purl.uni-rostock.de/rosdok/id00000716urn:nbn:de:gbv:28-diss2010-0138-3service-oriented computingformal methodscorrectnessWe 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.Wir studieren die Korrektheit von Services und Servicekompositionen und untersuchen, wie der Entwurf von korrekten Servicekompositionen systematisch unterstützt werden kann. Wir legen dabei den Fokus auf das Kommunikationsprotokoll der Services. Mithilfe von formalen Methoden tragen wir zu drei Szenarien von SOC bei.20102010epub.dissertation1 Dissertation_Lohmann_2010.pdf 2559672 a56fc0fb654c51fdab62afd2f316d81e rosdok/id00000716639531881MODS updated during RosDok migration in June 2021DissertationHochschulschrift142476889NielsLohmann1981-VerfasserInautCorrectness of services and their compositionenProf. Dr.KarstenWolfAkademischeR BetreuerIndgsprof. dr. ir.Wil M. P.van der AalstAkademischeR BetreuerIndgsProf. Dr.MathiasWeskeAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00000716http://purl.uni-rostock.de/rosdok/id00000716urn:nbn:de:gbv:28-diss2010-0138-3004 InformatikFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2010monographic20102010Universitätsbibliothek RostockRostock20102010We 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.Wir studieren die Korrektheit von Services und Servicekompositionen und untersuchen, wie der Entwurf von korrekten Servicekompositionen systematisch unterstützt werden kann. Wir legen dabei den Fokus auf das Kommunikationsprotokoll der Services. Mithilfe von formalen Methoden tragen wir zu drei Szenarien von SOC bei.service-oriented computingformal methodscorrectnessUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000716 2010-11-15T13:37:29.081Z 2023-08-08T10:02:03.552Z 2023-08-18T10:02:03.558Z {"identifier":"rosdok/id00000716","type":"local_id","additional":"","service":"MCRLocalID","created":"2018-06-30T12:46:42.951Z"} {"identifier":"http://purl.uni-rostock.de/rosdok/id00000716","type":"purl","additional":"","service":"RosDokPURL","created":"2018-06-30T12:46:43.097Z","registered":"2018-06-30T12:46:43.097Z"} {"identifier":"10.18453/rosdok_id00000716","type":"doi","additional":"","service":"RosDokDOI","created":"2018-06-30T12:46:44.376Z","registered":"2018-06-30T12:46:44.376Z"} {"identifier":"urn:nbn:de:gbv:28-diss2010-0138-3","type":"dnbUrn","additional":"","service":"RosDokURN","created":"2018-06-30T12:46:42.955Z","registered":"2010-11-16T03:02:54.657Z"} administratorfulltextfile/rosdok_disshab_0000000505/rosdok_derivate_0000004381/Dissertation_Lohmann_2010.pdfCorrectness of services and their compositionCorrectness of services and their compositiongnd:142476889gnd:10085032-7gnd:142476889gnd:10085032-7rosdok_disshab_0000000505-d274486e39gnd:142476889Niels LohmannNiels Lohmannrosdok_disshab_0000000505-d274486e60Prof. Dr. Karsten WolfProf. Dr. Karsten Wolfrosdok_disshab_0000000505-d274486e72prof. dr. ir. Wil M. P. van der Aalstprof. dr. ir. Wil M. P. van der Aalstrosdok_disshab_0000000505-d274486e84Prof. Dr. Mathias WeskeProf. Dr. Mathias Weskerosdok_disshab_0000000505-d274486e97gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikNiels LohmannProf. Dr. Karsten Wolfprof. dr. ir. Wil M. P. van der AalstProf. Dr. Mathias WeskeUniversität Rostock Fakultät für Informatik und ElektrotechnikNiels LohmannProf. Dr. Karsten Wolfprof. dr. ir. Wil M. P. van der AalstProf. Dr. Mathias WeskeUniversität Rostock Fakultät für Informatik und ElektrotechnikNiels LohmannRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00000716http://purl.uni-rostock.de/rosdok/id00000716urn:nbn:de:gbv:28-diss2010-0138-3service-oriented computingformal methodscorrectnessWe 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.Wir studieren die Korrektheit von Services und Servicekompositionen und untersuchen, wie der Entwurf von korrekten Servicekompositionen systematisch unterstützt werden kann. Wir legen dabei den Fokus auf das Kommunikationsprotokoll der Services. Mithilfe von formalen Methoden tragen wir zu drei Szenarien von SOC bei.20102010[xslt]Saxonrosdok/id00000716https://purl.uni-rostock.de/rosdok/id0000071663953188110.18453/rosdok_id00000716urn:nbn:de:gbv:28-diss2010-0138-3Niels LohmannLohmann NielsCorrectness of services and their compositionDissertationdoctoral thesisUniversität Rostock, 2010We 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…Niels LohmannCorrectness of services and their compositionUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000716142476889NielsLohmann1981-VerfasserInautProf. Dr.KarstenWolfAkademischeR BetreuerIndgsprof. dr. ir.Wil M. P.van der AalstAkademischeR BetreuerIndgsProf. Dr.MathiasWeskeAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg[doi]10.18453/rosdok_id00000716[purl]http://purl.uni-rostock.de/rosdok/id00000716[urn]urn:nbn:de:gbv:28-diss2010-0138-3open_access20102010epoch:21th_centuryrfc5646:endoctype:epub.dissertationaccesscondition:openaccessSDNB:004institution:unirostock.iefstate:published