Annual Report 1999 / Department for Computer Science

Selbstdarstellung des Instituts für Informatik der BTU Cottbus und Berichte der Lehrstühle für das Jahr 1999.Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the year 1999

HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 3: Spezifikation der atomaren Funktionen

The following report is part of the central case study HDMS-A1 within the german national project KorSo2. This study is dedicated to the development of a complex information system for the support of the patient data administration in the specialized heart disease clinic DHZB3. While the developpers group PMI4 develops the real system for the clinic called HDMS, the project KorSo`s aim was the rigorous development of an abstracted version of HDMS by exclusive use of pure formal methods. The abstraction refers both to number of modelled documents and depth of treatment, while still considering the relevant aspects in a partly parameterized way

HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 3: Spezifikation der atomaren Funktionen

The following report is part of the central case study HDMS-A1 within the german national project KorSo2. This study is dedicated to the development of a complex information system for the support of the patient data administration in the specialized heart disease clinic DHZB3. While the developpers group PMI4 develops the real system for the clinic called HDMS, the project KorSo`s aim was the rigorous development of an abstracted version of HDMS by exclusive use of pure formal methods. The abstraction refers both to number of modelled documents and depth of treatment, while still considering the relevant aspects in a partly parameterized way

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