ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM

Kapitel 3Grundlagen von ODLIn diesem Kapitel behandeln wir die Grundlagen von ODL. Der Abschnitt 3.1 befasst sich mit derKonzeption von ODL. Der Abschnitt 3.2 geht auf die erste Implementierung eines ODL-Interpretersfür QUEST ein.3.1 KonzeptionDieser Abschnitt basiert in weiten Teilen auf [Sch01], wo die Operation Definition Language (ODL)vorgestellt wurde.Als Erstes wollen wir die Formalisierung des Metamodells beschreiben, die für die Definitionvon ODL Anwendung fand. Ein Metamodell MM besteht aus einem Paar (ME,MR), wobei ME eineFamilie von Metamodellentitäten ME = {ME 1 ,...,ME m } und MR eine Familie von MetamodellrelationenMR = {MR 1 ,...,MR n } ist. Eine Metamodellrelation ist eine Relation von Metamodellentitätender Form MR i ⊆ ME j1 × ... × ME jk mit k > 0.Metamodellentitäten sind paarweise disjunkte Mengen von Modellementen – Modellelementeoder auch Entitäten sind damit Instanzen von Metamodellelementen. So wären Komponente oderPort Metamodellelemente, während eine Komponente ”Comp1” oder ein Port ”Slot1” Entitäten sind.Der Einfachheit halber werden Attribute von Metamodellentitäten als Spezialfall von Relationenformalisiert – wenn eine Metamodellentität E ein Attribut attr des Typs type hat, so interpretieren wires als Relation RE attr ⊆ E ×type.In ODL verwenden wir folgende Notation: ein Attribut attr der Entität e wird als e.attr geschrieben;Relationsinstanzen einer Metamodellrelation R ⊆ E 1 ×...×E k zwischen Entitäten e i ∈ E i werdenals R(e 1 ,...,e k ) notiert.ODL-Abfragen operieren auf Produktmodellen, die auf einem Metamodell basieren. In dieserHinsicht gibt es eine Analogie zwischen SQL und ODL, wobei folgende Entsprechungen zwischenQUEST-Modellen und Datenbanken gelten:ODL ←→ SQLMetamodell ←→ Entity-Relationship-Modell(Produkt-)Modell ←→ DatenbankausprägungSowohl SQL als auch ODL sind Query-Sprachen, mit denen man keine Programme schreibenkann, deren Abfragen aber immer terminieren, da sie auf endlichen Universen operieren und keineSchleifen zulassen, die potenziell endlos sein könnten (insbesondere keine WHILE-Schleifen). ODList nicht an ein konkretes Metamodell gebunden, sondern kann mit jedem Metamodell verwendet werden,dass der oben dargelegten Formalisierung genügt. Ähnlich dazu ist SQL nicht an ein konkretesDatenbankschema gebunden, sondern wird mit verschiedenen Schemata eingesetzt, die für SQL dieRolle des Metamodells einer Datenbank spielt.