title: |
Toward composing variable structure models and their interfaces: a case of intensional
coupling definitions |
|
contributing persons: |
Alexander Steiniger[VerfasserIn] |
|
1169094708 |
Adelinde Uhrmacher[AkademischeR BetreuerIn] |
|
136258794 |
Hans L. M. Vangheluwe[AkademischeR BetreuerIn] |
Bernard P. Zeigler[AkademischeR BetreuerIn] |
|
172471893 |
|
contributing corporate bodies: |
Universität Rostock[Grad-verleihende Institution] |
|
38329-6 |
Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution] |
|
10085032-7 |
|
|
abstract: |
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.
[English] |
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.
[German] |
|
document type: |
|
institution: |
Faculty of Computer Science and Electrical Engineering |
|
language: |
|
subject class (DDC): |
004 Data processing Computer sciences |
|
|
publication / production: |
Rostock
Rostock: Universität Rostock
|
2018
|
|
statement of responsibility: |
vorgelegt von Alexander Steiniger |
|
|
identifiers: |
|
|
access condition: |
|
license/rights statement: |
all rights reserved This work may only be used under the terms of the German Copyright Law (Urheberrechtsgesetz). |
|
|
RosDok id: |
rosdok_disshab_0000001969 |
created / modified: |
15.10.2018 / 08.08.2023
|
metadata license: |
The metadata of this document was dedicated to the public domain (CC0 1.0 Universal Public Domain Dedication). |