Seminar AQL für Eclipse Sirius und Sirius Web

AQL bildet die zentrale Ausdrucksschicht für fachliche Navigation, Filterung, Beschriftung und Werkzeuglogik. Das Seminar verbindet Sprachgrundlagen mit den konkreten Auswertungskontexten beider Sirius-Produktlinien.

Im Mittelpunkt stehen nachvollziehbare Ausdrücke, kontrollierte Seiteneffekte, belastbare Fehlersuche und eine Struktur, die auch bei wachsenden Metamodellen wartbar bleibt.

Inhaltsübersicht

• Kapitel 1: Auswertungskontext, Typen und Variablen
• Kapitel 2: Navigation, Sammlungen und Bedingungen
• Kapitel 3: AQL in Desktop-Beschreibungen
• Kapitel 4: AQL in Web-Beschreibungen
• Kapitel 5: Services, Fehlersuche und Wartbarkeit

Kapitel 1: Auswertungskontext, Typen und Variablen

Inhaltsverzeichnis

• Selbstvariable und Kontextobjekt
• Ecore-Typen und Vererbung
• Variablen aus Beschreibungen
• Nullwerte und optionale Beziehungen
• Typprüfung und Autovervollständigung

Schritt-für-Schritt-Anleitung

1. Auswertungskontext und erwartetes Resultat festlegen; erst danach den Ausdruck schrittweise formulieren.
2. Den Baustein „Selbstvariable und Kontextobjekt“ am Übungsfall formulieren, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
3. Den Baustein „Ecore-Typen und Vererbung“ am Übungsfall ausführen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
4. Den Baustein „Variablen aus Beschreibungen“ am Übungsfall typisieren, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
5. Den Baustein „Nullwerte und optionale Beziehungen“ am Übungsfall vereinfachen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
6. Den Baustein „Typprüfung und Autovervollständigung“ am Übungsfall testen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
7. Den Gesamtstand mit einem Normalfall, einem Fehlerfall und einer gezielten Änderung prüfen; Abweichungen nachvollziehbar protokollieren.
8. Artefakte, Annahmen und offene technische Entscheidungen so dokumentieren, dass der nächste Arbeitsschritt ohne Wissensverlust anschließen kann.

Praxisbezug

Ein kleines Ecore-Modell wird geladen; für mehrere Kontexte werden gültige und absichtlich fehlerhafte Abfragen gegenübergestellt.

Kapitel 2: Navigation, Sammlungen und Bedingungen

Inhaltsverzeichnis

• Navigation über Referenzen
• select, reject und collect
• exists, forAll und one
• Sortierung und Deduplizierung
• if-then-else und boolesche Logik

Schritt-für-Schritt-Anleitung

1. Auswertungskontext und erwartetes Resultat festlegen; erst danach den Ausdruck schrittweise formulieren.
2. Den Baustein „Navigation über Referenzen“ am Übungsfall formulieren, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
3. Den Baustein „select, reject und collect“ am Übungsfall ausführen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
4. Den Baustein „exists, forAll und one“ am Übungsfall typisieren, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
5. Den Baustein „Sortierung und Deduplizierung“ am Übungsfall vereinfachen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
6. Den Baustein „if-then-else und boolesche Logik“ am Übungsfall testen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
7. Den Gesamtstand mit einem Normalfall, einem Fehlerfall und einer gezielten Änderung prüfen; Abweichungen nachvollziehbar protokollieren.
8. Artefakte, Annahmen und offene technische Entscheidungen so dokumentieren, dass der nächste Arbeitsschritt ohne Wissensverlust anschließen kann.

Praxisbezug

Aus einer verschachtelten Modellstruktur werden fachlich relevante Teilmengen ermittelt und als Labels, Filter und Auswahlmengen verwendet.

Kapitel 3: AQL in Desktop-Beschreibungen

Inhaltsverzeichnis

• Semantische Kandidaten
• Domänenklasse und Vorbedingung
• Label- und Stil-Ausdrücke
• Werkzeugoperationen
• Validierungsregeln

Schritt-für-Schritt-Anleitung

1. Gewünschtes Benutzerverhalten beschreiben; anschließend die deklarative Konfiguration vom semantischen Kontext aus aufbauen.
2. Den Baustein „Semantische Kandidaten“ am Übungsfall anlegen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
3. Den Baustein „Domänenklasse und Vorbedingung“ am Übungsfall konfigurieren, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
4. Den Baustein „Label- und Stil-Ausdrücke“ am Übungsfall verknüpfen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
5. Den Baustein „Werkzeugoperationen“ am Übungsfall ausführen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
6. Den Baustein „Validierungsregeln“ am Übungsfall prüfen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
7. Den Gesamtstand mit einem Normalfall, einem Fehlerfall und einer gezielten Änderung prüfen; Abweichungen nachvollziehbar protokollieren.
8. Artefakte, Annahmen und offene technische Entscheidungen so dokumentieren, dass der nächste Arbeitsschritt ohne Wissensverlust anschließen kann.

Praxisbezug

Eine vorhandene Viewpoint-Spezifikation wird schrittweise von einfachen Attributzugriffen zu wiederverwendbaren AQL-Ausdrücken ausgebaut.

Kapitel 4: AQL in Web-Beschreibungen

Inhaltsverzeichnis

• Domain- und View-Kontexte
• Kandidaten für Knoten und Kanten
• Formular- und Tabellenausdrücke
• Werkzeugvariablen
• Reifegrad experimenteller Studio-Funktionen

Schritt-für-Schritt-Anleitung

1. Gewünschtes Benutzerverhalten beschreiben; anschließend die deklarative Konfiguration vom semantischen Kontext aus aufbauen.
2. Den Baustein „Domain- und View-Kontexte“ am Übungsfall anlegen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
3. Den Baustein „Kandidaten für Knoten und Kanten“ am Übungsfall konfigurieren, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
4. Den Baustein „Formular- und Tabellenausdrücke“ am Übungsfall verknüpfen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
5. Den Baustein „Werkzeugvariablen“ am Übungsfall ausführen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
6. Den Baustein „Reifegrad experimenteller Studio-Funktionen“ am Übungsfall prüfen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
7. Den Gesamtstand mit einem Normalfall, einem Fehlerfall und einer gezielten Änderung prüfen; Abweichungen nachvollziehbar protokollieren.
8. Artefakte, Annahmen und offene technische Entscheidungen so dokumentieren, dass der nächste Arbeitsschritt ohne Wissensverlust anschließen kann.

Praxisbezug

Eine browserbasierte Beschreibung wird aufgebaut; jede Abfrage wird mit realen Modellinstanzen und Negativfällen geprüft.

Kapitel 5: Services, Fehlersuche und Wartbarkeit

Inhaltsverzeichnis

• Java-Serviceaufrufe
• Bibliotheksbildung
• Diagnose von Typfehlern
• Kosten teurer Navigationen
• Regressionstests für Ausdrücke

Schritt-für-Schritt-Anleitung

1. Risiko und beobachtbares Sollverhalten bestimmen; daraus reproduzierbare Positiv-, Negativ- und Grenztests ableiten.
2. Den Baustein „Java-Serviceaufrufe“ am Übungsfall ableiten, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
3. Den Baustein „Bibliotheksbildung“ am Übungsfall automatisieren, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
4. Den Baustein „Diagnose von Typfehlern“ am Übungsfall ausführen, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
5. Den Baustein „Kosten teurer Navigationen“ am Übungsfall auswerten, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
6. Den Baustein „Regressionstests für Ausdrücke“ am Übungsfall stabilisieren, die Entscheidung begründen und das Zwischenresultat unmittelbar kontrollieren.
7. Den Gesamtstand mit einem Normalfall, einem Fehlerfall und einer gezielten Änderung prüfen; Abweichungen nachvollziehbar protokollieren.
8. Artefakte, Annahmen und offene technische Entscheidungen so dokumentieren, dass der nächste Arbeitsschritt ohne Wissensverlust anschließen kann.

Praxisbezug

Eine Ausdruckssammlung wird refaktoriert, protokolliert und mit einem Satz fachlicher Beispieldaten gegen unbeabsichtigte Änderungen abgesichert.