Example.relast

Root ::= Prüfmethode* Wert*;

// Beispiel für Prüfmethode: ReLiAbweichung
Prüfmethode ::= Funktionsprinzip Zielobjekt*;
Zielobjekt;

rel Prüfmethode.Funktionsprinzip* -> Funktionsprinzip;

// Beispiel Funktionsprinzip: Berechnungen innerhalb von ReLi-Abweichung für ist_diff und ist_diff < max_diff
Funktionsprinzip ::= Dateneingangswert* Verarbeitungsschritt* Datenausgangswert*;

abstract Datenquelle;
// Beispiel für Wert: FB_links, ist_diff, max_diff
Wert : Datenquelle ::= <Datentyp> <A> <B>;

// Ein Wert, der bei "Dateneingang" steht, z.B. für ReLi: max_Diff oder FB,links
// Beispiel für Dateneingangswert: Zuordnung, aus welcher Quelle der Wert ausgelesen werden soll
Dateneingangswert ::= [Quelle];
rel Dateneingangswert.Wert -> Wert;

// Beispiel für Verarbeitungsschritt: ist_Diff = ..., oder ist_diff < max_diff
Verarbeitungsschritt : Datenquelle ::= <Berechnungsvorschrift>;
rel Verarbeitungsschritt.EingabeWert* -> Wert;

// Ein Wert, der bei "Datenausgang" steht, z.B. für ReLi $ist_{Diff,Achse n}$
Datenausgangswert ::= DarstellungsElement;
rel Datenausgangswert.Wert -> Wert;

// Beispiel für Quelle: Rollenbremsprüfstand
Quelle;

abstract DarstellungsElement ;
Dezimalwert : DarstellungsElement;
Auffälligkeitsmarkierung : DarstellungsElement;
Text : DarstellungsElement;

rel Auffälligkeitsmarkierung.Element <-> DarstellungsElement.Auffälligkeitsmarkierung;