Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß

• Antragsteller: Professor Dr. Ernst-Rüdiger Olderog
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2000 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5264190

Das Ziel des Projektes ist es, eine objekt-orientierte formale Methode in den Software-Entwicklungspropzeß einzubetten und dadurch die nötige formale Präzision in der Beschreibung von Software-Komponenten zu erreichen. Die Einbettung soll die Vorteile der objekt-orientierten graphischen Modellierungssprache (UML) erhalten, sowie eine Durchgängigkeit bis hin zur objekt-orientierten Implementierungssprache (Java) gewährleisten. Die Leitidee für die Formalisierung der Funktionalität von Komponenten ist ein erweitertes Konzept des "Design-by- Contract", eines Vertrages zwischen dem Entwickler und dem Benutzer einer Komponente. Dieses Konzept soll durchgängig auf drei Beschreibungsebenen verwendet werden: in der graphischen Modellierungssprache UML und der formalen Spezifikationsmethode (CSP-OZ) zur "Festlegung" der Contracts, sowie in der objekt- orientierten Implementierungssprache Java zur "Überprüfung" der Contracts.

• DFG-Verfahren: Sachbeihilfen