TU Wien:Model Engineering VU (Kappel)/Prüfung 2011-06-07
Theorie (10P)[Bearbeiten | Quelltext bearbeiten]
MDA (5P)[Bearbeiten | Quelltext bearbeiten]
Die drei Phasen beim MDA Zyklus und ihre Verbidnungen.
Rules bei ATL (5P)[Bearbeiten | Quelltext bearbeiten]
Die 3 Typen von Rules nennen und beschreiben.
Beispiele (90P)[Bearbeiten | Quelltext bearbeiten]
Die einzelnen Beispiele waren zwischen 15 und 25 Werte, hoffe ich habe keines vergessen.
OCL[Bearbeiten | Quelltext bearbeiten]
Gegeben war ein Metamodell; gesucht waren 3 Invarianten! Das Metamodell bestand irgendwie aus Personen (Student, Professor), die einen gewissen Grad (Bsc, Msc, ...) haben und Professoren konnten eine gewisse Gehaltsklasse haben. Eine Person konnte dabei 0..1 Supervisor haben, eine Person konnte von 0..* Personen der Supervisor sein.
- Invariante 1: Eine Person kann nicht sein eigener Supervisor sein.
- Invariante 2: ?
- Invariante 3: ?
Die beiden anderen liefen irgendwie darauf hinaus, dass der Supervisor einer Person mit einem gewissen Grad ebenfalls einen gewissen Grad haben muss, bzw. ein bestimmtes Gehaltsschema haben muss. Kann aber nicht mehr genau sagen, wie die Formulierungen waren.
Metamodellierung[Bearbeiten | Quelltext bearbeiten]
Ein "TaskTree" war gegeben. Bei dem es verschiedene Tasks gab, die als Baum aufbaut waren und auf der gleichen Ebene mit Operatoren (Choice, Enable) verbunden werden können. Ein Metamodell (ecore) für ein gegebenes Beispiel war zu erstellen.
Xtext[Bearbeiten | Quelltext bearbeiten]
Grammatik und Metamodell war gegeben. 5 Fehler im Metamodel waren zu finden.
ATL Transformation[Bearbeiten | Quelltext bearbeiten]
Die Transformationsregeln waren gegeben. Aufgrund des Helpers, der dkleartiven rule und der lazy rule waren die beiden Metamodelle möglichst genau zu bestimmen.
Graphentransformation[Bearbeiten | Quelltext bearbeiten]
Model eines Schachspiels gegeben.
Board -(fields 64)-> Field <-(1 resitOn)- Spielfigur
Erstellen waren zwei Graphentransformationen für den schwarzen Reiter (vielleicht war die Anzahl von vertikal/horizontal auch vertauscht...)
- Regel 1: Reiter springt auf ein freies Feld, indem er sich 2 Felder horizontal und 1 Feld vertikal bewegt. Das Zielfeld muss frei sein und muss sich innerhalb des Boards (8x8) befinden.
- Regel 2: Reiter springt auf ein Feld, auf dem sich eine weiße Figur befindet, indem er sich 2 Felder vertikel und 1 Feld horizontal bewegt.