PPT-Folie
Wir erinnern uns auch, daß eine Signatur die genaue Bedeutung der Bezeichner nicht festlegt. Vielmehr kann ein und derselbe Bezeichner bei gleicher Funktionalität in verschiedenen Modulen verschiedenes bedeuten (vgl. hierzu auch die Typklassen von Gofer).
Eine konkrete Realisierung einer Signatur heißt Interpre-tation oder Implementierung. Sie besteht aus
- Einem nichtleeren Typ zu jeder Sorte; dieser Typ heißt auch Trägermenge zur betreffenden Sorte;
- einem Element bzw. einer Variable passenden Typs zu jedem Attributbezeichner;
- einer RV (Methode) passender Funktionalität zu jedem Methodenbezeichner.