ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

Kapitel 6VerbesserungsmöglichkeitenDieses Kapitel behandelt Vorschläge für zukünftige Weiterentwicklungen des ODL-System. Sie betreffenErweiterungen und Optimierungen des ODL-Auswertungssystems und der interaktiven Benutzerschnittstellevon ODL.6.1 Erweiterungen des SprachumfangsIn diesem Abschnitt befassen wir uns mit Vorschlägen für die Erweiterung der Ausdrucksmächtigkeitvon ODL.6.1.1 Teilmengen unendlicher TypenFür Datentypen mit endlicher Domäne (z.B. Boolean oder Component) ist es möglich, Teilmengendes Typs zu verwenden, die über eine Restriktion definiert werden. So definiert die Restriktion{c:Component | neg isEmpty( c.SubComponents )} alle Komponenten, diemindestens eine Unterkomponente haben. Für unendliche Datentypen wie Int und String bestehtzurzeit keine Möglichkeit, Teilmengen des Typs zu verwenden, da eine Restriktion der Form{var:base_type | restriction_term} nur dann angewendet werden kann, wenn der Basistypiterierbar ist, was bei unendlichen Typen nicht der Fall ist.Abhilfe kann dadurch geschaffen werden, dass endliche Teilmengen unendlicher Typen über einefeste Syntax definiert werden können. Für den Typ Int könnte mit i:Int[a:b] die Teilmengealler ganzen Zahlen deklariert werden, die zwischen a und b liegen. Diese Syntaxerweiterung würdeAbfragen wie exists i:Int[0:10]. i < 5 ermöglichen.6.1.2 MengenoperationenFür die in ODL verwendeten Mengen ist zurzeit die nur Größenbestimmung (size(set_var))und die Iteration über Mengenelemente (exists e:element set_var) möglich. Der Sprachumfangkann für einen flexibleren Einsatz von Mengen um folgende zum Teil mengentypische Operationenerweitert werden:• union(set1,set2)Vereinigung zweier Mengen: M 1⋃ M2 = { a | a ∈ M 1 ∨ a ∈ M 2 }• intersection(set1,set2)Durchschnitt zweier Mengen: M 1⋂ M2 = { a | a ∈ M 1 ∧ a ∈ M 2 }• difference(set1,set2)Differenz zweier Mengen: M 1 \M 2 = { a | a ∈ M 1 ∧ a /∈ M 2 }