GRK 334:  Specification of Discrete Processes and Systems of Processes by Operational Models and Logics

• Subject Area: Computer Science
• Term: from 1997 to 2005
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 271903

The concept of reactive, technical systems forms the motivation for this research project. Such systems can be considered as configurations of resources on which processes, i.e., sequences of actions are running';' such sequences depend on the inner state of the system and on external events. Examples for reactive systems are operating systems, communication systems, control systems of technical installations and systems for medical diagnosis.In our research project we aim at describing processes of such reactive, technical systems by means of formal methods. From these formal descriptions we try to derive properties of all the processes which run on the system. Because of the complexity of such systems, only formal methods can be a sufficient basis for verification and reliability of such properties.There is a huge diversity of formal models for the decription of processes. Roughly, they can be partitioned into operational models and logics. The aim of the research programme is, on the one hand, to continue the investigation about how to describe processes in a formal way and the comparison of different formalizations. On the other hand, we aim at enriching these formal concepts by verification techniques.

• DFG Programme: Research Training Groups
• Applicant Institution: Technische Universität Dresden
• Spokesperson: Professor Dr.-Ing. Heiko Vogler
• Participating Researchers: 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