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

• Applicant: Professor Dr. Willem-Paul de Roever
• Co-Applicants: Dr. Frank S. de Boer; Dr. Marcello Bonsangue
• Subject Area: Software Engineering and Programming Languages
• Term: from 2001 to 2009
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants
• International Connection: Netherlands