CafeOBJ

Ziel des CafeOBJ-Projektes ist es, formale Methoden Softwareingenieuren in der Praxis zugänglich zu machen. Formale Methoden beinhalten die Aufstellung mathematischer Modelle und die Ableitung einiger Softwareeigenschaften aus diesen Modellen. Dieses Vorgehen hat Parallelen in anderen Ingenieursbereichen, stellt aber wegen der enormen Komplexität moderner Softwaresysteme und der Unerfahrenheit der Entwickler mit höherer diskreter Mathematik für das Gebiet der Softwareentwicklung erhöhte Anforderungen. Die CafeOBJ-Sprache erweitert das ursprüngliche OBJ um Konzepte verteilter objektorientierter Systeme.

Über einen Zeitraum von anderthalb Jahren wird das CafeOBJ-Konsortium einen auf einer abstrakten Maschine basierenden Compiler und eine Unterstützungsumgebung zur verteilten, kooperierenden Spezifikation, Implementierung und Verifikation von Programmen über das World Wide Web erstellen.¹

Die Münchener Gruppe befaßt sich hauptsächlich mit Fallstudien. Diese umfassen:

• die Implementierung von Fallstudien des fOOSE-Projekts in CafeOBJ
• die Entwicklung und Testung von CafeOBJ-Spezifikationen für den Flughafen München II
• die Formalisierung einer Semantik der objektorientierten, parallelen Programmiersprache Java in CafeOBJ

Ansprechpartner: Alexander Knapp.

Näheres zu diesem Projekt unter The CafeOBJ Home Page.