GRK 334:  Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken

• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 1997 bis 2005
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 271903

Das Konzept der reaktiven, technischen Systeme bildet den motivierenden Hintergrund für das hier zu beschreibende Forschungsgebiet. Abstrakt gesagt sind solche Systeme Konfigurationen von Betriebsmitteln, auf denen Prozesse, d.h. Folgen von Aktionen ablaufen';' die Abfolgen der Aktionen hängen vom inneren Zustand des Systems oder von äußeren Vorgängen ab und realisieren somit den funktionalen Zweck des Systems. Beispiele für reaktive Systeme sind Betriebssysteme, Kommunikationssysteme, Kontrollsysteme verfahrenstechnischer Anlagen und ärztliche Diagnosesysteme.Im Forschungsgebiet "Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken" sollen Prozesse, die auf reaktiven, technischen Systemen ablaufen, mit Hilfe formaler Methoden beschrieben werden. Aus dieser Beschreibung sollen Eigenschaften ableitbar oder verifizierbar sein, die alle auf solchen Systemen ablaufenden Prozesse haben. Wegen der Komplexität der betrachteten Systeme eröffnet sich eine zuverlässige Möglichkeit der Verifikation nur durch die Verwendung formaler Methoden.Für die Beschreibung von Prozessen gibt es eine große Vielfalt von Formalismen. Sie lassen sich in operationelle Modelle und Logiken einteilen.

• DFG-Verfahren: Graduiertenkollegs
• Antragstellende Institution: Technische Universität Dresden
• Sprecher: Professor Dr.-Ing. Heiko Vogler
• beteiligte Wissenschaftler: Professor Dr.-Ing. Franz Baader; Professor Dr. Peter Buchholz; Professor Dr. Manfred Droste; Professor Dr. Bernhard Ganter; Professor Dr. Steffen Hölldobler; Professor Dr. Dietrich Kuske; Professor Dr. Reinhard Pöschel; Professor Dr. Horst Reichel; Professor Dr. Michael Thielscher