mycoreobjectrosdok_disshab_0000001969rosdok_disshab_0000001969rosdokdisshabrosdok_derivate_00000573782023-08-08T10:09:19.201Z2018-10-15T13:46:09.234ZadministratoreditorDpublished1rosdok_derivate_0000057378truetruederivate_types:fulltextVolltextfulltextwf_edit_epub wf_register_epubstate:publishedstate:publishedveröffentlichtpublishedrosdok/id000023101032734590Oau2018-10-152023-08-05T19:10:54ZrdaConverted from PICA to MODS using Pica2Mods XSLT Transformer 2.7 [SCM: "0c0e7a3c226a4a0cbcbec39b493c3c5257339ab8" "v2.7" "2023-08-04T00:00:00+0200"] with mode 'DEFAULT'.DissertationHochschulschriftToward composing variable structure models and their interfacesa case of intensional coupling definitionsIn this thesis, we investigate a combination of traditional component-based and variable structure modeling. The focus is on a structural consistent specification of couplings in modular, hierarchical models with a variable structure. For this, we exploitintensional definitions, as known from logic, and introduce a novel intensional coupling definition, which allows a concise yet expressive specification of complex communication and interaction patterns in static as well as variable structure models, without the need to worryabout structural consistency.In der Arbeit untersuchen wir ein Zusammenbringen von klassischer komponenten-basierter und variabler Strukturmodellierung. Der Fokus liegt dabei auf der Spezifikation von strukturkonsistenten Kopplungen in modular-hierarchischen Modellen mit einer variablen Struktur. Dafür nutzen wir intensionale Definitionen, wie sie aus der Logik bekannt sind, und führen ein neuartiges Konzept von intensionalen Kopplungen ein, welches kompakte gleichzeitig ausdrucksstarke Spezifikationen von komplexen Kommunikations- und Interaktionsmuster in statischen und variablen Strukturmodellen erlaubt.AlexanderSteiniger1983 -VerfasserInaut1169094708AdelindeUhrmacher1961 -AkademischeR BetreuerIndgs136258794Hans L. M.VangheluweAkademischeR BetreuerIndgsBernard P.Zeigler1940 -AkademischeR BetreuerIndgs17247189338329-6Universität Rostock1419 -Grad-verleihende Institutiondgg10085032-7Universität RostockFakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgghttp://purl.uni-rostock.de/rosdok/id00002310urn:nbn:de:gbv:28-diss2018-0141-010.18453/rosdok_id00002310004 InformatikFakultät für Informatik und Elektrotechnikalle Rechte vorbehaltenNutzungsrechte erteiltLizenz Metadaten: CC0frei zugänglich (Open Access)en2018Universität RostockRostockmonographic201820182018Universitätsbibliothek RostockRostock2018Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00002310vorgelegt von Alexander SteinigerST 340ModellierungKomponentenmodelldoctype: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 thesisSDNB: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-7licenseinfo: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/licenseinfo:depositlicenseinfo:depositVeröffentlichungsgenehmigungpermission to storelicenseinfo:deposit.rightsgrantedlicenseinfo:deposit.rightsgrantedNutzungsrechte erteiltrights grantedlicenseinfo: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/accesscondition: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_abf2rfc5646:enrfc5646:enEnglischEnglishengengToward composing variable structure models and their interfacesa case of intensional coupling definitionsToward composing variable structure models and their interfacesa case of intensional coupling definitionsgnd:1169094708gnd:136258794gnd:172471893gnd:38329-6gnd:10085032-7gnd:1169094708gnd:136258794gnd:172471893gnd:38329-6gnd:10085032-7rosdok_disshab_0000001969-d716292e55gnd:1169094708Alexander SteinigerAlexander Steinigerrosdok_disshab_0000001969-d716292e69gnd:136258794Adelinde UhrmacherAdelinde Uhrmacherrosdok_disshab_0000001969-d716292e83Hans L. M. VangheluweHans L. M. Vangheluwerosdok_disshab_0000001969-d716292e94gnd:172471893Bernard P. ZeiglerBernard P. Zeiglerrosdok_disshab_0000001969-d716292e108gnd:38329-6Universität RostockUniversität Rostockrosdok_disshab_0000001969-d716292e119gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikAlexander SteinigerAdelinde UhrmacherHans L. M. VangheluweBernard P. ZeiglerUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikAlexander SteinigerAdelinde UhrmacherHans L. M. VangheluweBernard P. ZeiglerUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikAlexander SteinigerRostockUniversität Rostockepub.dissertationhttp://purl.uni-rostock.de/rosdok/id00002310urn:nbn:de:gbv:28-diss2018-0141-010.18453/rosdok_id00002310ST 340ModellierungKomponentenmodellIn this thesis, we investigate a combination of traditional component-based and variable structure modeling. The focus is on a structural consistent specification of couplings in modular, hierarchical models with a variable structure. For this, we exploitintensional definitions, as known from logic, and introduce a novel intensional coupling definition, which allows a concise yet expressive specification of complex communication and interaction patterns in static as well as variable structure models, without the need to worryabout structural consistency.In der Arbeit untersuchen wir ein Zusammenbringen von klassischer komponenten-basierter und variabler Strukturmodellierung. Der Fokus liegt dabei auf der Spezifikation von strukturkonsistenten Kopplungen in modular-hierarchischen Modellen mit einer variablen Struktur. Dafür nutzen wir intensionale Definitionen, wie sie aus der Logik bekannt sind, und führen ein neuartiges Konzept von intensionalen Kopplungen ein, welches kompakte gleichzeitig ausdrucksstarke Spezifikationen von komplexen Kommunikations- und Interaktionsmuster in statischen und variablen Strukturmodellen erlaubt.20182018vorgelegt von Alexander Steinigerepub.dissertation1 Dissertation_Steiniger_2018.pdf 18168458 c25c10fd132940b33f4b7f70c95a0cf3 rosdok/id000023101032734590Oau2018-10-152023-08-05T19:10:54ZrdaConverted from PICA to MODS using Pica2Mods XSLT Transformer 2.7 [SCM: "0c0e7a3c226a4a0cbcbec39b493c3c5257339ab8" "v2.7" "2023-08-04T00:00:00+0200"] with mode 'DEFAULT'.DissertationHochschulschriftToward composing variable structure models and their interfacesa case of intensional coupling definitionsIn this thesis, we investigate a combination of traditional component-based and variable structure modeling. The focus is on a structural consistent specification of couplings in modular, hierarchical models with a variable structure. For this, we exploitintensional definitions, as known from logic, and introduce a novel intensional coupling definition, which allows a concise yet expressive specification of complex communication and interaction patterns in static as well as variable structure models, without the need to worryabout structural consistency.In der Arbeit untersuchen wir ein Zusammenbringen von klassischer komponenten-basierter und variabler Strukturmodellierung. Der Fokus liegt dabei auf der Spezifikation von strukturkonsistenten Kopplungen in modular-hierarchischen Modellen mit einer variablen Struktur. Dafür nutzen wir intensionale Definitionen, wie sie aus der Logik bekannt sind, und führen ein neuartiges Konzept von intensionalen Kopplungen ein, welches kompakte gleichzeitig ausdrucksstarke Spezifikationen von komplexen Kommunikations- und Interaktionsmuster in statischen und variablen Strukturmodellen erlaubt.AlexanderSteiniger1983 -VerfasserInaut1169094708AdelindeUhrmacher1961 -AkademischeR BetreuerIndgs136258794Hans L. M.VangheluweAkademischeR BetreuerIndgsBernard P.Zeigler1940 -AkademischeR BetreuerIndgs17247189338329-6Universität Rostock1419 -Grad-verleihende Institutiondgg10085032-7Universität RostockFakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgghttp://purl.uni-rostock.de/rosdok/id00002310urn:nbn:de:gbv:28-diss2018-0141-010.18453/rosdok_id00002310004 InformatikFakultät für Informatik und Elektrotechnikalle Rechte vorbehaltenNutzungsrechte erteiltLizenz Metadaten: CC0frei zugänglich (Open Access)en2018Universität RostockRostockmonographic201820182018Universitätsbibliothek RostockRostock2018Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00002310vorgelegt von Alexander SteinigerST 340ModellierungKomponentenmodell 2018-10-15T13:46:09.234Z 2023-08-08T10:09:19.201Z 2023-08-18T10:09:19.206Z {"identifier":"rosdok/id00002310","type":"local_id","additional":"","service":"MCRLocalID","created":"2018-10-15T13:46:10.671Z"} editorD {"identifier":"http://purl.uni-rostock.de/rosdok/id00002310","type":"purl","additional":"","service":"RosDokPURL","created":"2018-10-15T13:53:47.243Z","registered":"2018-10-15T13:53:47.243Z"} {"identifier":"10.18453/rosdok_id00002310","type":"doi","additional":"","service":"RosDokDOI","created":"2018-10-15T13:53:49.123Z","registered":"2018-10-15T13:53:49.123Z"} {"identifier":"urn:nbn:de:gbv:28-diss2018-0141-0","type":"dnbUrn","additional":"","service":"RosDokURN","created":"2018-10-15T13:46:10.802Z","registered":"2018-10-16T02:14:46.897Z"} administratorfulltextfile/rosdok_disshab_0000001969/rosdok_derivate_0000057378/Dissertation_Steiniger_2018.pdfToward composing variable structure models and their interfacesa case of intensional coupling definitionsToward composing variable structure models and their interfacesa case of intensional coupling definitionsgnd:1169094708gnd:136258794gnd:172471893gnd:38329-6gnd:10085032-7gnd:1169094708gnd:136258794gnd:172471893gnd:38329-6gnd:10085032-7rosdok_disshab_0000001969-d716292e55gnd:1169094708Alexander SteinigerAlexander Steinigerrosdok_disshab_0000001969-d716292e69gnd:136258794Adelinde UhrmacherAdelinde Uhrmacherrosdok_disshab_0000001969-d716292e83Hans L. M. VangheluweHans L. M. Vangheluwerosdok_disshab_0000001969-d716292e94gnd:172471893Bernard P. ZeiglerBernard P. Zeiglerrosdok_disshab_0000001969-d716292e108gnd:38329-6Universität RostockUniversität Rostockrosdok_disshab_0000001969-d716292e119gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikAlexander SteinigerAdelinde UhrmacherHans L. M. VangheluweBernard P. ZeiglerUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikAlexander SteinigerAdelinde UhrmacherHans L. M. VangheluweBernard P. ZeiglerUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikAlexander SteinigerRostockUniversität Rostockepub.dissertationhttp://purl.uni-rostock.de/rosdok/id00002310urn:nbn:de:gbv:28-diss2018-0141-010.18453/rosdok_id00002310ST 340ModellierungKomponentenmodellIn this thesis, we investigate a combination of traditional component-based and variable structure modeling. The focus is on a structural consistent specification of couplings in modular, hierarchical models with a variable structure. For this, we exploitintensional definitions, as known from logic, and introduce a novel intensional coupling definition, which allows a concise yet expressive specification of complex communication and interaction patterns in static as well as variable structure models, without the need to worryabout structural consistency.In der Arbeit untersuchen wir ein Zusammenbringen von klassischer komponenten-basierter und variabler Strukturmodellierung. Der Fokus liegt dabei auf der Spezifikation von strukturkonsistenten Kopplungen in modular-hierarchischen Modellen mit einer variablen Struktur. Dafür nutzen wir intensionale Definitionen, wie sie aus der Logik bekannt sind, und führen ein neuartiges Konzept von intensionalen Kopplungen ein, welches kompakte gleichzeitig ausdrucksstarke Spezifikationen von komplexen Kommunikations- und Interaktionsmuster in statischen und variablen Strukturmodellen erlaubt.20182018vorgelegt von Alexander Steiniger[xslt]Saxonrosdok/id00002310https://purl.uni-rostock.de/rosdok/id00002310103273459010.18453/rosdok_id00002310urn:nbn:de:gbv:28-diss2018-0141-0Alexander SteinigerSteiniger AlexanderToward composing variable structure models and their interfaces : a case of intensional coupling definitionsDissertationdoctoral thesisUniversität Rostock, 2018In this thesis, we investigate a combination of traditional component-based and variable structure modeling. The focus is on a structural consistent specification of couplings in modular, hierarchical models with a variable structure. For this, we exploitintensional definitions, as known from logic,…Alexander SteinigerToward composing variable structure models and their interfacesa case of intensional coupling definitionsUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00002310AlexanderSteiniger1983 -VerfasserInaut1169094708AdelindeUhrmacher1961 -AkademischeR BetreuerIndgs136258794Hans L. M.VangheluweAkademischeR BetreuerIndgsBernard P.Zeigler1940 -AkademischeR BetreuerIndgs17247189338329-6Universität Rostock1419 -Grad-verleihende Institutiondgg10085032-7Universität RostockFakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgg[purl]http://purl.uni-rostock.de/rosdok/id00002310[urn]urn:nbn:de:gbv:28-diss2018-0141-0[doi]10.18453/rosdok_id00002310open_access20182018epoch:21th_centuryrfc5646:endoctype:epub.dissertationaccesscondition:openaccessSDNB:004institution:unirostock.iefstate:published