ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

Weitere Magazine

Empfehlungen

Info

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.
5.2 INTERAKTIVE BENUTZERSCHNITTSTELLE 65dialogs.cellRenderers.formatters und quest.odl.evaluation.model.cellRenderers.formatters.Zusätzlich zu diesen Klassen wird in Eingabedialogen die Navigationsleiste aus dem Packagequest.dialogs.navigationBar verwendet.Schließlich werden zur Anzeige von Werten verschiedener Datentypen Klassen ausden Packages quest.dialogs.cellRenderers, quest.dialogs.cellRenderers.formatters und aus quest.odl.evaluation.model.cellRenderers.formatters.Wir wollen nun alle verwendeten Klassengruppen im Einzelnen besprechen.Package quest.odl.evaluation.model.query.dialogDie meisten Klassen im dialog-Package lassen sich in drei größere Gruppen unterteilen, die untenaufgeführt werden. In jeder Gruppe werden in der ersten Zeile der Klassenaufzählung abstrakte Klassenaufgeführt, die das Interface der Hierarchie definieren. Ihnen folgen Unterklassen und eventuellweitere benutzte Klassen. Interfaces und abstrakte Klassen werden kursiv gesetzt, wobei Interfaceszusätzlich mit dem Wort «Interface» gekennzeichnet werden:• EingabedialogDialogfenster für Benutzereingaben. Klassen:QueryDialog «Interface», AbstractQueryDialog,DefaultQueryDialog, SplitPanelQueryDialogQueryDialogManager• EingabepanelEingabebereiche für verschiedene ODL-Datentypen, die in Eingabedialogen zur Eingabe desabgefragten Variablenwerts benutzt werden. Für einige Datentypen sind mehrere unterschiedlicheEingabebereiche vorhanden. Klassen:QueryInputPanel «Interface», AbstractQueryInputPanel,TextFieldQueryInputPanel, IntegerTextFieldQueryInputPanel,BooleanTextFieldQueryInputPanel,SelectionQueryInputPanel «Interface»,AbstractSelectionQueryInputPanel,ListQueryInputPanel, RadioButtonsQueryInputPanel,CompositeQueryInputPanel «Interface»,AbstractCompositeQueryInputPanel,DefaultCompositeQueryInputPanel,SetTypeQueryInputPanel «Interface», AbstractSetTypeQueryInputPanel,DefaultSetTypeQueryInputPanelQueryInputListener «Interface», QueryInputEventDie Eingabepanels für Mengenwerte benötigen eine weitere Gruppe von Klassen, die in diesenEingabepanels zur Anzeige bereits in die Menge eingefügter Werte dienen:SetValueDisplay «Interface», AbstractSetValueDisplay,ListSetValueDisplay, TableSetValueDisplay• WerteanzeigeKomponenten, die in Eingabedialogen zur Anzeige der Werte bereits bekannter Variablen verwendetwerden. Klassen:AbstractValuesDisplay, DefaultValuesDisplay,
Seite 3:
Technische UniversitätMünchenFaku
Seite 6 und 7:
ZusammenfassungDie vorliegende Dipl
Seite 8 und 9:
4 INHALTSVERZEICHNIS6 Verbesserungs
Seite 10 und 11:
6 KAPITEL 1: EINLEITUNGFür die Dur
Seite 12 und 13:
8 KAPITEL 2: ÜBERBLICKAbbildung 2.
Seite 14 und 15:
10 KAPITEL 2: ÜBERBLICK2.2 Metamod
Seite 16 und 17:
12 KAPITEL 2: ÜBERBLICK2.3 Motivat
Seite 19 und 20: Kapitel 3Grundlagen von ODLIn diese
Seite 21 und 22: 3.2 ERSTE IMPLEMENTIERUNG DES ODL-I
Seite 23 und 24: 3.2 ERSTE IMPLEMENTIERUNG DES ODL-I
Seite 25 und 26: Kapitel 4Erweiterung von ODLZur Auf
Seite 27 und 28: 4.1 ERWEITERUNG DES SPRACHUMFANGS 2
Seite 31 und 32: 4.2 INTERAKTIVE BENUTZERSCHNITTSTEL
Seite 43 und 44: 4.3 BEISPIELE VON ODL-ABFRAGEN 394.
Seite 45 und 46: 4.3 BEISPIELE VON ODL-ABFRAGEN 41Qu
Seite 47 und 48: Kapitel 5ImplementierungIn diesem K
Seite 67: 5.1 ERWEITERUNG DES SPRACHUMFANGS 6
Seite 91 und 92: 5.3 VORBEREITUNG WEITERGEHENDER ÄN
Seite 93 und 94: 5.3 VORBEREITUNG WEITERGEHENDER ÄN
Seite 95 und 96: 5.4 ENTWURF OPTIMIERTER ODL-ABFRAGE
Seite 101 und 102: Kapitel 6Verbesserungsmöglichkeite
Seite 103 und 104: 6.1 ERWEITERUNGEN DES SPRACHUMFANGS
Seite 105 und 106: 6.2 OPTIMIERUNG DER ABFRAGEAUSWERTU
Seite 117 und 118: 6.3 VERBESSERUNGEN AN DER BENUTZERS
Seite 119 und 120:
6.3 VERBESSERUNGEN AN DER BENUTZERS
Seite 121 und 122:
6.3 VERBESSERUNGEN AN DER BENUTZERS
Seite 123 und 124:
6.4 KONZEPT EINER FLEXIBLEN DIALOGF
Seite 125 und 126:
6.4 KONZEPT EINER FLEXIBLEN DIALOGF
Seite 127 und 128:
KAPITEL 7: FAZIT 123In zukünftigen
Seite 129 und 130:
ANHANG A: KLASSENDIAGRAMME 125inter
Seite 131 und 132:
ANHANG A: KLASSENDIAGRAMME 127Compo
Seite 133 und 134:
ANHANG A: KLASSENDIAGRAMME 1290..*
Seite 135 und 136:
ANHANG A: KLASSENDIAGRAMME 1310..*0
Seite 137 und 138:
ANHANG A: KLASSENDIAGRAMME 1331 1 1
Seite 139 und 140:
ANHANG A: KLASSENDIAGRAMME 135Split
Seite 141 und 142:
ANHANG A: KLASSENDIAGRAMME 137Navig
Seite 143 und 144:
ANHANG A: KLASSENDIAGRAMME 139inter
Seite 145 und 146:
Anhang BODL-GrammatikIn diesem Anha
Seite 147 und 148:
ANHANG B: ODL-GRAMMATIK 143arithmet
Seite 149 und 150:
ANHANG C: ODL-GRAMMATIK IN DER SABL
Seite 151 und 152:
Seite 153 und 154:
Seite 155 und 156:
Literaturverzeichnis[BLS00][BLS01]P
Alle anzeigen

ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?