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

OSIDRIS


Objekt-orientierte Spezifikation und Verifikation von verteilten Systemen

Das Ziel von OSIDRIS ist, das Zusammenspiel von objekt-orientierten Strukturierungsmechanismen und Parallelität zu verstehen und sinnvoll mit Spezifikations-, Verfeinerungs- und Beweismethoden zu kombinieren.

In OSIDRIS werden Methoden untersucht und erstellt, mit denen man paralleles Verhalten mit Objektorientierung auf einer abstrakten Ebene beschreiben, analysieren und dann konkretisieren, d.h. verfeinern, und wieder analysieren kann. Aspekte, die uns besonders interessieren, sind dabei die Beobachtbarkeit und Vererbbarkeit von Eigenschaften der Datentypen und Objekte in Beschreibungen auf jeglicher Abstraktionsebene.

Das Projekt OSIDRIS wird in Zusammenarbeit mit Prof. Lengauer, Universität Passau durchgeführt.

Das Projekt wird von der Deutschen Forschungsgemeinschaft gefördert

Ansprechpartnerin: Ulrike Lechner .

Veröffentlichungen:

Liste aller Projekte

Institut Universität