ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

120 KAPITEL 6: VERBESSERUNGSMÖGLICHKEITENAbfrage, die keine Kopie, sondern die Original-Komponente in ein Kanalbündel einsetzt, ist bereitsmit dem aktuellen Sprachumfang von ODL möglich). Die aktuelle Implementierung der Dialogflusskontrolleim ODL-Query-Subsystem erlaubt die Rückkehr zu früheren Eingabedialogen, speichertallerdings die Eingaben aus späteren Eingabedialogen nicht. Wenn der Benutzer also vom drittenTeilschritt zum ersten zurückkehrt, gehen die im dritten Teilschritt getroffenen Portzuorndnungenverloren, sodass er alle Eingaben wiederholen müsste, was nicht besonders benutzerfreundlich ist.Um hier Abhilfe zu schaffen, muss die Dialogflusskontrolle des ODL-Query-Subsystems erweitertwerden. Dafür gibt es zwei Möglichkeit, die sich in Implementierungsaufwand und der resultierendenFlexibilität unterscheiden. Wir wollen sie im folgenden besprechen und ihre Vorteile und Nachteileerörtern.1) Die einfachere Möglichkeit ist eine Erweiterung des bestehenden Systems, indem jeder context-Quantor sich den zuletzt eingegebenen Wert merkt und, falls ein Rückwärtsschritt vorgenommenwurde, bei der Rückkehr zu ihm diesen Wert anzeigt. Dabei muss allerdings eine Analyse vorgenommenwerden, ob der gespeicherte Eingabewert in der jetzigen Situation überhaupt möglichwäre. Betrachten wir die Beispielabfragecontext c:Component. context p:element( c.Ports ). trueFalls bei dieser Abfrage der Benutzer vom zweiten context-Quantor zum ersten zurückkehrt,dort eine andere Komponente auswählt und dann wieder zum zweiten context-Quantor übergeht,so wird der früher ausgewählte Port nicht mehr gültig sein, weil er zur früher ausgewähltenKomponente, nicht aber zur aktuell ausgewählten Komponente gehört und deshalb jetzt gar nichtausgewählt werden könnte. In einer solchen Situation muss der Eingabedialog für den zweitencontext-Quantor mit leerer Auswahl starten.Solche Gültigkeitsprüfungen müssen zwar bei jedem Wiedereintritt in einen zuvor verlassenenEingabedialog vorgenommen werden, stellen aber keine große Schwierigkeit dar, denn es ist bekannt,zu welchem Typ ein einzugebender Wert gehört (es ist gerade der Typ der abgefragtenVariablen), und es ist ganz einfach möglich, für einen abgespeicherten Wert zu überprüfen, ob erzu einem gegebenen Typ gehört: je nach Datentyp muss man über alle Typwerte iterieren und siemit dem abgespeicherten Wert vergleichen oder es muss, falls es sich um einen ODL-Grundtyphandelt (z.B. Boolean oder Integer), gar keine Überprüfung vorgenommen werden.2) Eine wesentlich aufwändiger zu implementierende und gleichzeitig viel flexiblere Lösung würdedas Konzept von Kontrollklassen zur Auswertung von ODL-Abfragen darstellen. Im Rahmendes bereits angesprochenen Systementwicklungsprojekts wurde eine auf den konkreten Anwendungsfallspezialisierte Kontrollklasse entwickelt, die für den dreischrittigen Vorgang der Kanalbündelauftrennungdie Navigation zwischen den Eingabedialogen für die einzelnen Teilschritteerlaubte, bei der sowohl Rückwärtsschritte mit Beibehaltung von getätigten Eingaben als auchVorwärtsschritte möglich waren ([Tracht], S.40-47). Bei einem Vorwärtsschritt wurden die abgespeichertenEingaben hinsichtlich ihrer Kompatibilität mit den neuen Eingaben aus vorherigenTeilschritten überprüft und ungültig gewordene Teile der abgespeicherten Eingaben gelöscht. FürODL-Abfragen gestaltet sich die Situation komplizierter, weil hier beliebige Abläufe von Benutzereingabenmöglich sein sollen – eine ähnlich flexible Navigation ist dementsprechend schwierigerzu implementieren.In der aktuellen Version wird der Durchlauf durch einen ODL-Auswertungsbaum über Aufrufevon Methoden implementiert: der Auswertungsbaum ist, in gewissem Sinne, im Java-Callstackversteckt und für den expliziten Zugriff nicht ohne Weiteres zugänglich: die einzige Zugriffsmöglichkeitstellen Exceptions zum Abbruch einer momentan ausgeführten Methode dar – dieser Mechanismuswird in der aktuellen Implementierung für die Rückkehr zu vorherigen Eingabedialogenbenutzt.Um die Steuerung des Dialogflusses durch Kontrollklassen zu ermöglichen, müsste die Steuerung