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

• Applicant: Professor Dr. Ernst-Rüdiger Olderog
• Subject Area: Theoretical Computer Science
• Term: from 2000 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants