Toward composing variable structure models and their interfaces : a case of intensional coupling definitions

Alexander Steiniger

doi:10.18453/rosdok_id00002310

Alexander Steiniger

Toward composing variable structure models and their interfaces : a case of intensional coupling definitions

Universität Rostock, 2018

https://doi.org/10.18453/rosdok_id00002310

Abstract: 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.

Dissertation Freier Zugang

100%0 °

Titel:

Toward composing variable structure models and their interfaces: a case of intensional coupling definitions

Beteiligte Personen:

Alexander Steiniger[VerfasserIn]
	1169094708
Adelinde Uhrmacher[AkademischeR BetreuerIn]
	136258794
Hans L. M. Vangheluwe[AkademischeR BetreuerIn]
Bernard P. Zeigler[AkademischeR BetreuerIn]
	172471893

Beteiligte Körperschaften:

Universität Rostock[Grad-verleihende Institution]
	38329-6
Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution]
	10085032-7

Zusammenfassung:

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. [Englisch]

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. [Deutsch]

Dokumenttyp:

Dissertation

Einrichtung:

Fakultät für Informatik und Elektrotechnik

Sprache:

Englisch

Sachgruppe der DNB:

004 Informatik

Veröffentlichung /
Entstehung:

Rostock

Rostock: Universität Rostock

2018