InopSys: View-Oriented Development of Software Components

• Applicant: Professor Dr. Martin Wirsing
• Subject Area: Theoretical Computer Science
• Term: from 2001 to 2004
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5327588

Nahezu alle neueren praktischen Beschreibungssprachen für das Software Engineering vertreten die Auffassung, daß komplexe informationsverarbeitende Systeme am verständlichsten in unterschiedlichen, komplementären Sichten, wie z.B. Daten, Zustandsübergänge, Interaktion oder Architektur beschrieben werden. Für viele dieser Aspekte hat die Informatik logische und algebraische und somit auf streng formalen Systemen von Ableitungsregeln basierende Theorien und Kalküle entwickelt. Allerdings sind diese jeweils nur auf einen oder wenige Aspekte ausgerichtet. In diesem Projekt soll in Zusammenarbeit mit vier weiteren Projekten von Manfred Broy, Bernhard Möller, Tobias Nipkow und Wolfgang Reif ein interoperables Baukastensystem formaler Modelle geschaffen werden, so daß diese folgerichtig ineinandergreifen und damit die unterschiedlichen Aspekte und Schichten realer Systeme abzubilden erlauben. Insbesondere soll in diesem Projekt untersucht werden, wie die sichten-orientierte Entwicklung von Systemkomponenten durch formale Methoden unterstützt werden kann. Dies umfasst die Modellierung statischer, dynamischer und struktureller Eigenschaften von Systemkomponenten und deren Integration in einen einheitlichen semantischen Rahmen, die Entwicklung einer institutionsunabh"angige Modulalgebra mit Parametrisierungskonzept, Beweismethoden für Eigenschaften von Systemkomponenten und Verfeinerungskalküle zur Unterstützung der schrittweisen Entwicklung von Komponenten. Zur Beschreibung der unterschiedlichen Sichten sollen die Theorie der Beobachtungsalgebren, der Ereignisstrukturen und der Modulalgebra eingesetzt werden.

• DFG Programme: Research Grants