<?xml version="1.0"?>
<oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:title xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">Toward composing variable structure models and their interfaces: a case of intensional coupling definitions</dc:title>
  <dc:contributor xmlns:dc="http://purl.org/dc/elements/1.1/">Steiniger, Alexander , 1983- (VerfasserIn)</dc:contributor>
  <dc:contributor xmlns:dc="http://purl.org/dc/elements/1.1/">Uhrmacher, Adelinde , 1961- (AkademischeR BetreuerIn)</dc:contributor>
  <dc:contributor xmlns:dc="http://purl.org/dc/elements/1.1/">Vangheluwe, Hans L. M. (AkademischeR BetreuerIn)</dc:contributor>
  <dc:contributor xmlns:dc="http://purl.org/dc/elements/1.1/">Zeigler, Bernard P. , 1940- (AkademischeR BetreuerIn)</dc:contributor>
  <dc:contributor xmlns:dc="http://purl.org/dc/elements/1.1/">Universität Rostock (Grad-verleihende Institution)</dc:contributor>
  <dc:contributor xmlns:dc="http://purl.org/dc/elements/1.1/">Universität Rostock Fakultät für Informatik und Elektrotechnik (Grad-verleihende Institution)</dc:contributor>
  <dc:type xmlns:dc="http://purl.org/dc/elements/1.1/">Text</dc:type>
  <dc:type xmlns:dc="http://purl.org/dc/elements/1.1/">theses</dc:type>
  <dc:type xmlns:dc="http://purl.org/dc/elements/1.1/">Text</dc:type>
  <dc:type xmlns:dc="http://purl.org/dc/elements/1.1/">Hochschulschrift</dc:type>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">2018</dc:date>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">2018</dc:date>
  
  <dc:language xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">eng</dc:language>
  <dc:format xmlns:dc="http://purl.org/dc/elements/1.1/">electronic resource</dc:format><dc:format xmlns:dc="http://purl.org/dc/elements/1.1/">remote</dc:format><dc:format xmlns:dc="http://purl.org/dc/elements/1.1/">Computermedien</dc:format><dc:format xmlns:dc="http://purl.org/dc/elements/1.1/">Online-Ressource</dc:format><dc:format xmlns:dc="http://purl.org/dc/elements/1.1/">1 Online-Ressource</dc:format>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">In 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.&lt;eng&gt;</dc:description>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">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.&lt;ger&gt;</dc:description>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">vorgelegt von Alexander Steiniger</dc:description>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">Dissertation Universität Rostock 2018</dc:description>
  <dc:subject xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">004</dc:subject>
  <dc:subject xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">004.2</dc:subject>
  <dc:subject xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">004</dc:subject>
  <dc:subject xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">ST 340</dc:subject>
  <dc:subject xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">54.76</dc:subject>
  <dc:identifier xmlns:dc="http://purl.org/dc/elements/1.1/">http://purl.uni-rostock.de/rosdok/id00002310</dc:identifier>
  <dc:identifier xmlns:dc="http://purl.org/dc/elements/1.1/">https://doi.org/10.18453/rosdok_id00002310</dc:identifier>
  <dc:identifier xmlns:dc="http://purl.org/dc/elements/1.1/">https://nbn-resolving.org/urn:nbn:de:gbv:28-diss2018-0141-0</dc:identifier>
  <dc:identifier xmlns:dc="http://purl.org/dc/elements/1.1/">https://d-nb.info/1293653616/34</dc:identifier>
  <dc:relation xmlns:dc="http://purl.org/dc/elements/1.1/">Toward composing variable structure models and their interfaces--(DE-627)1032976225</dc:relation>
  <dc:identifier xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">urn:nbn:de:gbv:28-diss2018-0141-0</dc:identifier>
  <dc:identifier xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">doi: 10.18453/rosdok_id00002310</dc:identifier>
  <dc:identifier xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:srw_dc="info:srw/schema/1/dc-schema">oclc: 1061089150</dc:identifier>
  <dc:identifier xmlns:dc="http://purl.org/dc/elements/1.1/">ppn:
				(DE-627)1032734590</dc:identifier>
</oai_dc:dc>
