Umfang

Dieses Thema kann als Teil einer Projektarbeit oder Masterarbeit bearbeitet werden.

Empfohlene Vorkenntnisse

  • gute Prolog Kenntnisse (z.B. durch Besuch der Veranstaltung “Einführung in die logische Programmierung”)
  • Kenntnisse der B Sprache sind erwünscht (zB. durch Besuch der Veranstaltung “Sicherheitskritische Systeme”)

Problem

ProB ist ein Werkzeug zur Validierung formaler Spezifikationen. Diese Software hat viele Parameter und viele Validierungstechniken. In dieser Arbeit soll ein Expertensystem erstellt werden, welches

eine Spezifikation (kurz) analysiert dem Benutzer verschiedene Validierungstechniken und Parameterereinstellungen vorschlägt ProB ausführt und dem Benutzer die Ergebnisse der Validierung erklärt. Das Expertensystem kann in Prolog aber auch in Java (oder einer anderen Sprache auf der JVM) erstellt werden.

Minimalanforderungen

  • funktionsfähiges Expertensystem

Erweiterungen (für Masterarbeit erforderlich)

  • Einbindung in ProB
  • ausführliche empirische Evaluierung
  • ausführliche Evaluierung an Benutzern

Kontakt

Professor Michael Leuschel
Raum 25.12.02.60 · michael.leuschel@hhu.de