2 Graphische Benutzerschnittstelle (Gui)
Team: Ingo Schiller und Hans Theman
Snot besteht aus verschiedenen Komponenten, die ihrerseits mit dem
Benutzer interagieren. Es gibt ein übergeordnetes Paket, welches für die
folgenden Aufgaben verantwortlich zeichnet:
-
Start: Beim Start einer Snot-Session erscheint ein Fenster,
von dem aus es möglich ist, verschiedene Komponenten des Systems
aufzurufen.
- Abhängigkeitsverwaltung: Eine Simulation kann erst dann
aufgerufen werden, wenn das Programm syntaktisch korrekt ist. Das
gleiche gilt für den Modelchecker. Die Aufgabe besteht darin, eine
Definition der Abhängigkeiten zwischen den Komponenten festzulegen und
sie im Tool zu implementieren.
- Sessionsverwaltung: (2te Priorität) Es soll möglich sein,
eine Session (geöffnete Fenster, geladene Dateien, gewählte Optionen) zu
speichern. Eine gespeicherte Session sollte wieder hergestellt werden
können.
Die Benutzeroberfläche integriert alle anderen Komponenten, aus
diesem Grund ist in dieser Gruppe besonders auf die Konsistenz bzw.
Verletzung dieser zu achten.
Schnittstellen
Mit allen anderen Paketen. Siehe die entsprechenden Abschnitte dort.
Design-Entscheidungen
-
Die Oberflache wird mit swing-Komponenten aufgebaut; das
gleiche gilt für den Editor.
- Die Oberfläche wird mit dem Werkzeug Forte 2.0 aufgebaut,
das gleiche gilt für den Editor.
last generated July 1, 2001 (©Public License)