Dynamische Modelle für Reaktive Systeme mit Daten

Reaktive Systeme sind Systeme, die waehrend Ihrer Laufzeit fortlaufend mit ihrer Umgebung interagieren und auf externe Ereignisse reagieren. Aufgrund ihrer hohen Komplexitaet wurden Spezifikationssprachen zur formalen Beschreibung reaktiver Systeme entwickelt. Diese Formalismen beschreiben sowohl Struktur und Verhalten von Systemen, abstrahieren aber i. allg. von der Beschreibung der Daten und den auf ihnen durchgefuehrten Datentransformationen. In dieser Arbeit werden zwei Spezifikationssprachen zur Beschreibung reaktiver Systeme vorgestellt, die eine funktionale Spezifikation der Daten beinhalten. Der erste Formalismus basiert auf der Theorie der Prozessalgebren, der zweite ist eine Variante von Interaktionsdiagrammen. Beide Formalismen erlauben die Integration beliebiger funktionaler Sprachen zur Datenbeschreibung und werden jeweils durch eine formale Semantik definiert, die sowohl die Verhaltens- als auch die Datenaspekte beinhaltet. Beide Formalismen erlauben zudem die Beschreibung dynamischer Systeme, in denen sich die Struktur zur Laufzeit aendern kann.Reactive systems are systems which interact continuously with their environment and which react on external events. Due to the high complexity of these systems, specification languages for a formal description of reactive systems have been developed. These formalisms describe both structure and behaviour of systems, but usually they abstract from the specification of data and the corresponding data transformations. In this thesis, we introduce two specification languages for modelling reactive systems which include a functional description of data. The first formalism is based on the theory of process algebras, the second is a type of interaction diagrams. Both formalisms allow for the integration of arbitrary functional languages for data description. Moreover, both languages are defined via a formal semantics, which defines both behaviour and data aspects. Furthermore, both languages allow for the description of dynamic systems, in which the system structure may change during runtime