PPT-Folie

Wir erinnern uns hier an den Begriff Signatur. Sie besteht aus

Typbezeichnern, auch Sorten der Signatur genannt;
Bezeichnern für spezielle Elemente, jeweils mit Angabe des Typs; diese Bezeichner heißen Konstanten bzw. Variablen der Signatur. Im Vorgriff auf die OOP nennen wir sie auch Attributbezeichner.
Bezeichnern für RV, jeweils mit Angabe der Funktionalität. Im Vorgriff auf die OOP nennen wir sie Methodenbezeichner.