Kombination von Beschreibungstechniken

SFB 501

Teilprojekt C1

Formale Beschreibungstechniken

Zielsetzung

Bei der Entwicklung eines großen Systems sind viele Beschreibungen von Eigenschaften des Systems und seiner Umgebung zu erstellen. Man muß davon ausgehen, dass hierzu verschieden Beschreibungstechniken nötig sind. Um die gleichzeitige Verwendung verschiedener Beschreibungstechniken zu erleichtern, untersucht das Teilproject C1 die Kombination mehrerer Beschreibungstechniken.

Durchgeführte Arbeiten

Selbst bei der Beschreibung eines Aspektes eines Systems ist es sinnvoll, verschiedene Beschreibungstechniken zu verwenden. Damit lassen sich für einzelne Eigenschaften jeweils angemessene Beschreibungsmittel zur Verfügung stellen. Außerdem kann der Übergang zwischen Beschreibungen auf verschiedenen Abstraktionsebenen erleichtert werden. Zur Beschreibung des Verhaltens reaktiver Systeme wurden die beiden formalen Beschreibungstechniken statecharts und TLA kombiniert. Insbesondere wurde untersucht unter welchen Bedingungen eine in dieser Kombination erstellte Beschreibung konsistent ist.

Mitarbeiter

Thomas Deiß

Publikationen

Deiß, T.:
An Approach to the Combination of Formal Description Techniques: Statecharts and TLA, accepted for publication at Workshop `Integrated Formal Methods 1999', York.
Deiß, Thomas: Combining a state based formalism with temporal logic, SFB 501, internal report 05/96, University of Kaiserlautern, 1996.
- Abstract
- Download full paper (281 Kbytes)
Schowalter, Andreas: Modellierung einer Produktionszelle in einer Kombination aus statecharts und TLA.. Projektarbeit, 1997.

Weitere Links

Projekt C1

SFB501

Fachbereich Informatik

Universität Kaiserslautern

Thomas Deiß

Last modified: Wed May 5 18:23:20 MET DST 1999