Das ProB2 JavaFX Hauptfenster

In der Voreinstellung ist das Hauptfenster in drei vertikale Felder unterteilt:

• Auf der linken Seite

  • die Operationen-Ansicht, welche die Operationen anzeigt, deren Vor- und Schutzbedingungen in diesem Zustand wahr sind und
  • die Animationsansicht, die verschiedene Arten der Animation für die aktuelle Maschine zur Verfügung stellt

• In der Mitte

  • die Zustandsansicht, die den aktuellen Zustand der B-Maschine anzeigt
  • die Visualisierungsansicht, die schnellen Zugriff auf zwei Optionen zur Maschinen-Visualisierung bietet: die Zustandsvisualisierung und das VisB-Plugin
  • der Editor, um aktuell geöffnete Maschinen zu bearbeiten und zu speichern
  • die B Konsole, eine eingebaute Konsole, um B-Formeln zu evaluieren

• Im rechten Feld sind einige Unteransichten enthalten, die aktiviert werden können:

  • Der Verlauf der Operationen, die zu diesem Zustand geführt haben
  • Die Projektansicht, die zugehörige Maschinen, den Überprüfungsstatus, Einstellungen und eine Projektübersicht anzeigt,
  • Die Überprüfungsansicht, die vMethoden zur Überprüfung einer Maschine anbietet,
  • Die Statistik des aktuellen Projekts, die verschiedene Daten zu Zuständen und Transitionen bereithält.

Im unteren linken Bildschirmrand zeigt die Zustandsfehleransicht mögliche Zustandsfehler wie z.B. Deadlocks an.

Die Hauptmenüleiste bietet unter anderem Möglichkeiten zur Verwaltung der Projekte, Einstellen eigener Perspektiven und zur Zustandsvisualisierung.

Mehr über ProB