ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

64 KAPITEL 5: IMPLEMENTIERUNGODL-Abfrage. Das einfache Vorziehen der Quantoren war möglich, weil die Typen der von ihnengebundenen Variablen von keinen anderen Variablen abhängen konnten. Mit der aktuellenErweiterung des Typsystems wurden Typen eingeführt, die von früher deklarierten Variablenabhängen können: beispielsweise hängt in der Abfrageexists c1:Component.context c2:{ comp:Component | is SubComponents(c1,comp) }der eingeschränkte Typ { comp:Component | is SubComponents(c1,comp) }von der Variablen c1 ab. In einem solchen Fall kann der betreffende context-Quantor nichtvor den Quantor vorgezogen werden, von dessen Variablen sein eigener Variablentyp abhängt.Die new-Quantoren sind von dieser Problematik nicht betroffen, da sie nur Variablen des TypsEntity binden können, und dieser Typ hängt nie von anderen Variablen ab.Das entstandene Problem bei der Verschiebung von context-Quantoren kann auf verschiedenenWegen gelöst werden. Die optimale Lösung, bei der ein context-Quantor genau soweitvorgezogen wird, bis er auf einen forall-Quantor trifft oder einen anderen Quantor, von dessenVariablen sein Variablentyp abhängt, konnte aufgrund ihrer Komplexität nicht im Rahmender vorliegenden Arbeit implementiert werden. Sie wird jedoch ausführlich im Abschnitt 6.2.1besprochen.In der aktuellen Version des ODL-Systems wird eine einfachere jedoch sichere Lösung eingesetzt.Dabei wird für einen context-Quantor zunächst ermittelt, ob sein Variablentyp voneiner anderen Variablen abhängt. Ist dies nicht der Fall, so wird der Quantor – wie schon früher– bis zum nächsten forall-Quantor bzw. an den Anfang der ODL-Abfrage vorgezogen.Hängt der Typ der vom context-Quantor gebundenen Variablen von einer anderen Variablenab, wird der Quantor als unbeweglich markiert und an seiner Stelle belassen. Dieser Algorithmusresultiert zwar häufig in suboptimaler Positionierung von context-Quantoren, er ist aberwesentlich einfacher, als die optimale Lösung, und auch mit diesem Algorithmus kann der Benutzerdurch Umformulierung der ODL-Abfrage eine optimale Positionierung von context-Quantoren erreichen.5.2 Interaktive BenutzerschnittstelleNachdem wir die ODL-Auswertungsklassen besprochen haben, wollen wir eine Beschreibung der imRahmen dieser Arbeit entwickelten Benutzerschnittstelle für die Eingabe von Variablenwerten geben.In der früheren ODL-Version wurde der Grundstein für das Query-Subsystem gelegt, das Benutzereingabenermöglichen soll, die bei der Auswertung von context-Quantoren notwendigsind ([Pasch], S.29-30). Die Struktur und Funktionsweise des ODL-Query-Subsystems im Packagequest.odl.evaluation.model.query wird ausführlich im Abschnitt 5.2.2 besprochen.Vorher wollen wir die GUI-Klassen beschreiben, die für den Aufbau von Benutzereingabedialogenerstellt wurden und von Query-Klassen verwendet werden.5.2.1 GUI-KlassenDie GUI-Klassen für das Query-Subsystem belegen zwei Packages:– quest.odl.evaluation.model.query.dialog:Dieses Packages enthält die GUI-Klassen, die in Eingabedialogen Verwendung finden.– quest.odl.evaluation.model.query.factory:In diesem Package befinden sich Fabrikklassen, die für die Herstellung von GUI-Klassen ausquest.odl.evaluation.model.query.dialog zuständig sind – sie implementierendie Entwurfsmuster Abstrakte Fabrik, Fabrikmethode und Erbauer ([GammaEtAl], S.107-143). Eine weitere Fabrikklasse produziert Instanzen von Klassen aus den Packages quest.