mycoreobjectrosdok_disshab_0000001686rosdok_disshab_0000001686rosdokdisshabrosdok_derivate_00000367872023-08-08T10:07:40.961Z2017-03-03T09:05:25.336ZadministratoreditorDpublished1rosdok_derivate_0000036787truetruederivate_types:fulltextVolltextfulltextwf_edit_epub wf_register_epubstate:publishedstate:publishedveröffentlichtpublishedrosdok/id00001864881599085MODS updated during RosDok migration in June 2021DissertationHochschulschrift1126757535DanhuaPeng1988-VerfasserInautReusing simulation experiments for model composition and extensionen136258794Prof. DrAdelindeUhrmacherUniversity of Rostock, Institute of Computer ScienceAkademischeR BetreuerIndgsProf. Dr.JaneHillstonUniversity of Edinburgh, School of InformaticsAkademischeR BetreuerIndgs1059103737Prof. Dr.FrançoisFagesUniversity of Paris, Institut National de Recherche en Informatique et en Automatique (INRIA Research Center )AkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00001864http://purl.uni-rostock.de/rosdok/id00001864urn:nbn:de:gbv:28-diss2017-0028-8000 Allgemeines, WissenschaftFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2017monographic20172017Universitätsbibliothek RostockRostock20172017This thesis aims to reuse simulation experiments to support developing models via model reuse, with a focus on validating the resulting model. Individual models are annotated with their simulation experiments. Upon reuse of those models for building new ones, the associated simulation experiments are also reused and executed with the new model, to inspect whether the key behavior exhibited by the original models is preserved or not in the new model. Hence, the changes of model behavior resulting from the model reuse are revealed, and insights into validity of the new model are provided.modeling and simulationmodel reusemodel validationUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00001864doctype: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:000SDNB:000000 Allgemeines, Wissenschaft000 Generalities, Scienceinstitution: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/Reusing simulation experiments for model composition and extensionReusing simulation experiments for model composition and extensiongnd:1126757535gnd:136258794gnd:1059103737gnd:10085032-7gnd:1126757535gnd:136258794gnd:1059103737gnd:10085032-7rosdok_disshab_0000001686-d561738e39gnd:1126757535Danhua PengDanhua Pengrosdok_disshab_0000001686-d561738e60gnd:136258794Prof. Dr Adelinde UhrmacherProf. Dr Adelinde Uhrmacherrosdok_disshab_0000001686-d561738e75Prof. Dr. Jane HillstonProf. Dr. Jane Hillstonrosdok_disshab_0000001686-d561738e88gnd:1059103737Prof. Dr. François FagesProf. Dr. François Fagesrosdok_disshab_0000001686-d561738e104gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikDanhua PengProf. Dr Adelinde UhrmacherProf. Dr. Jane HillstonProf. Dr. François FagesUniversität Rostock Fakultät für Informatik und ElektrotechnikDanhua PengProf. Dr Adelinde UhrmacherProf. Dr. Jane HillstonProf. Dr. François FagesUniversität Rostock Fakultät für Informatik und ElektrotechnikDanhua PengRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00001864http://purl.uni-rostock.de/rosdok/id00001864urn:nbn:de:gbv:28-diss2017-0028-8modeling and simulationmodel reusemodel validationThis thesis aims to reuse simulation experiments to support developing models via model reuse, with a focus on validating the resulting model. Individual models are annotated with their simulation experiments. Upon reuse of those models for building new ones, the associated simulation experiments are also reused and executed with the new model, to inspect whether the key behavior exhibited by the original models is preserved or not in the new model. Hence, the changes of model behavior resulting from the model reuse are revealed, and insights into validity of the new model are provided.20172017epub.dissertation1 Dissertation_Peng_2017.pdf 6492646 049ee3a4d270939b7d09886a9a3d54e8 rosdok/id00001864881599085MODS updated during RosDok migration in June 2021DissertationHochschulschrift1126757535DanhuaPeng1988-VerfasserInautReusing simulation experiments for model composition and extensionen136258794Prof. DrAdelindeUhrmacherUniversity of Rostock, Institute of Computer ScienceAkademischeR BetreuerIndgsProf. Dr.JaneHillstonUniversity of Edinburgh, School of InformaticsAkademischeR BetreuerIndgs1059103737Prof. Dr.FrançoisFagesUniversity of Paris, Institut National de Recherche en Informatique et en Automatique (INRIA Research Center )AkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00001864http://purl.uni-rostock.de/rosdok/id00001864urn:nbn:de:gbv:28-diss2017-0028-8000 Allgemeines, WissenschaftFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2017monographic20172017Universitätsbibliothek RostockRostock20172017This thesis aims to reuse simulation experiments to support developing models via model reuse, with a focus on validating the resulting model. Individual models are annotated with their simulation experiments. Upon reuse of those models for building new ones, the associated simulation experiments are also reused and executed with the new model, to inspect whether the key behavior exhibited by the original models is preserved or not in the new model. Hence, the changes of model behavior resulting from the model reuse are revealed, and insights into validity of the new model are provided.modeling and simulationmodel reusemodel validationUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00001864 2017-03-03T09:05:25.336Z 2023-08-08T10:07:40.961Z 2023-08-18T10:07:40.965Z editorD {"identifier":"rosdok/id00001864","type":"local_id","additional":"","service":"MCRLocalID","created":"2018-06-30T13:27:49.985Z"} {"identifier":"http://purl.uni-rostock.de/rosdok/id00001864","type":"purl","additional":"","service":"RosDokPURL","created":"2018-06-30T13:27:50.187Z","registered":"2018-06-30T13:27:50.187Z"} {"identifier":"10.18453/rosdok_id00001864","type":"doi","additional":"","service":"RosDokDOI","created":"2018-06-30T13:27:51.542Z","registered":"2018-06-30T13:27:51.542Z"} {"identifier":"urn:nbn:de:gbv:28-diss2017-0028-8","type":"dnbUrn","additional":"","service":"RosDokURN","created":"2018-06-30T13:27:49.993Z","registered":"2017-03-09T03:00:12.030Z"} administratorfulltextfile/rosdok_disshab_0000001686/rosdok_derivate_0000036787/Dissertation_Peng_2017.pdfReusing simulation experiments for model composition and extensionReusing simulation experiments for model composition and extensiongnd:1126757535gnd:136258794gnd:1059103737gnd:10085032-7gnd:1126757535gnd:136258794gnd:1059103737gnd:10085032-7rosdok_disshab_0000001686-d561738e39gnd:1126757535Danhua PengDanhua Pengrosdok_disshab_0000001686-d561738e60gnd:136258794Prof. Dr Adelinde UhrmacherProf. Dr Adelinde Uhrmacherrosdok_disshab_0000001686-d561738e75Prof. Dr. Jane HillstonProf. Dr. Jane Hillstonrosdok_disshab_0000001686-d561738e88gnd:1059103737Prof. Dr. François FagesProf. Dr. François Fagesrosdok_disshab_0000001686-d561738e104gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikDanhua PengProf. Dr Adelinde UhrmacherProf. Dr. Jane HillstonProf. Dr. François FagesUniversität Rostock Fakultät für Informatik und ElektrotechnikDanhua PengProf. Dr Adelinde UhrmacherProf. Dr. Jane HillstonProf. Dr. François FagesUniversität Rostock Fakultät für Informatik und ElektrotechnikDanhua PengRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00001864http://purl.uni-rostock.de/rosdok/id00001864urn:nbn:de:gbv:28-diss2017-0028-8modeling and simulationmodel reusemodel validationThis thesis aims to reuse simulation experiments to support developing models via model reuse, with a focus on validating the resulting model. Individual models are annotated with their simulation experiments. Upon reuse of those models for building new ones, the associated simulation experiments are also reused and executed with the new model, to inspect whether the key behavior exhibited by the original models is preserved or not in the new model. Hence, the changes of model behavior resulting from the model reuse are revealed, and insights into validity of the new model are provided.20172017[xslt]Saxonrosdok/id00001864https://purl.uni-rostock.de/rosdok/id0000186488159908510.18453/rosdok_id00001864urn:nbn:de:gbv:28-diss2017-0028-8Danhua PengPeng DanhuaReusing simulation experiments for model composition and extensionDissertationdoctoral thesisUniversität Rostock, 2017This thesis aims to reuse simulation experiments to support developing models via model reuse, with a focus on validating the resulting model. Individual models are annotated with their simulation experiments. Upon reuse of those models for building new ones, the associated simulation experiments…Danhua PengReusing simulation experiments for model composition and extensionUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id000018641126757535DanhuaPeng1988-VerfasserInaut136258794Prof. DrAdelindeUhrmacherUniversity of Rostock, Institute of Computer ScienceAkademischeR BetreuerIndgsProf. Dr.JaneHillstonUniversity of Edinburgh, School of InformaticsAkademischeR BetreuerIndgs1059103737Prof. Dr.FrançoisFagesUniversity of Paris, Institut National de Recherche en Informatique et en Automatique (INRIA Research Center )AkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg[doi]10.18453/rosdok_id00001864[purl]http://purl.uni-rostock.de/rosdok/id00001864[urn]urn:nbn:de:gbv:28-diss2017-0028-8open_access20172017epoch:21th_centuryrfc5646:endoctype:epub.dissertationaccesscondition:openaccessSDNB:000institution:unirostock.iefstate:published