Ludwig-Maximilians-Universität, München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

InOpSys - Sichtenorientierte Entwicklung von Softwarekomponenten

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 sichtenorientierte 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ängige 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.

Ansprechpartner: Martin Wirsing, Alexander Knapp.

Projektseite: InOpSys

Förderung: Inopsys wird, als Projekt WI 841/6-1, von der Deutschen Forschungsgemeinschaft (http://www.dfg.de/) gefördert.