MOBI-J-II: Formal Methods for Components and Objects

• Antragsteller: Professor Dr. Willem-Paul de Roever
• Mitantragsteller: Dr. Frank S. de Boer; Dr. Marcello Bonsangue
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2001 bis 2009
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5341258

In diesem Projekt wollen wir eine Programmierumgebung zum komponentenbasierten Entwurf und zur computerunterstützten (semi-)automatischen Verifikation von Java Programmen entwickeln. Wir erweitern die Programmiersprache Java mit einem Komponentenkonzept, welche die internen Datenverarbeitungsaspekte kapselt. Die Kommunikation zwischen Komponenten geschieht ausschließlich mittels mobiler asynchroner Kanäle. Diese erweiterte Sprache nennen wir MOBI-J. Die MOBI-J-Programmierumgebung umfaßt Werkzeuge für die Spezifikation und Verifikation basierend auf Zusicherungsmethoden. diese Methoden werden die in der Unified Modeling Language (UML) enthaltene Zusicherungssprache Object Constraint Language (OCL) erweitern und verallgemeinern.

• DFG-Verfahren: Sachbeihilfen
• Internationaler Bezug: Niederlande