Beispiel (1) define type Zylinder supertype GeoKörper is structure [ radius: Float, mittelpunkt1, mittelpunkt2: Punkt ]; interface declare Float länge(void); declare Float volumen(void); declare Float masse(void); declare void translation(Punkt p); end type Zylinder; define type Rohr supertype Zylinder is structure [ innererRadius: Float ]; interface refine Float volumen(void); refine Float masse(void); end type Rohr; define type Antriebswelle is structure [ maxDrehmoment: Float, lagerpunkt1, lagerpunkt2: Punkt ]; interface declare void translation(Punkt p); end type Antriebswelle; define type Hohlwelle supertype Rohr, Antriebswelle is interface declare Float durchbiegung(void); end type Hohlwelle; define view type ZylinderS is derived from Zylinder; structure [ radius: Float; mittelpunkt1, mittelpunkt2: Punkt ]; interface declare Float länge(void); declare Float volumen(void); declare Float masse(void); declare void translation(Punkt p); implementation... end view type ZylinderS; define view type HohlwelleS supertype ZylinderS is derived from Hohlwelle; structure [ innererRadius: Float ]; interface refine Float volumen(void); refine Float masse(void); declare Float durchbiegung(void); implementation... end view type HohlwelleS;

Beispiel (2) Basisschema GeoKörper Zylinder Vollzylinder Vollwelle Rohr Hohlwelle Antriebswelle ZylinderS HohlwelleS Sichtschema

Beispiel (3) Ableitungsschema GeoKörper Zylinder Rohr Hohlwelle Antriebswelle ZylinderS HohlwelleS Regel: Sei S Sichttyp. Der Basistyp jedes Obertyps von S ist ein Obertyp des Basistyps von S.

Beispiel (4) define type Zylinder supertype GeoKörper is structure [ radius: Float, mittelpunkt1, mittelpunkt2: Punkt ]; interface declare Float länge(void); declare Float volumen(void); declare Float masse(void); declare void translation(Punkt p); end type Zylinder; define type Rohr supertype Zylinder is structure [ innererRadius: Float ]; interface refine Float volumen(void); refine Float masse(void); end type Rohr; define type Antriebswelle is structure [ maxDrehmoment: Float, lagerpunkt1, lagerpunkt2: Punkt ]; interface declare void translation(Punkt p); end type Antriebswelle; define type Hohlwelle supertype Rohr, Antriebswelle is interface declare Float durchbiegung(void); end type Hohlwelle; define view type ZylinderS is derived from Zylinder; structure [ radius: Float; mittelpunkt1, mittelpunkt2: Punkt ]; interface declare Float länge(void); declare Float volumen(void); declare Float masse(void); declare void translation(Punkt p); implementation... end view type ZylinderS; define view type HohlwelleS supertype ZylinderS is derived from Hohlwelle; structure [ innererRadius: Float ]; interface refine Float volumen(void); refine Float masse(void); declare Float durchbiegung(void); declare void xTranslation(Float x) is new; implementation... end view type HohlwelleS; n Translation ausschließlich in Richtung der x-Achse. n Implementierung mit Hilfe des translation()-Operators aus dem Obertyp ZylinderS möglich. n Dieser stammt wiederum vom Basistyp Zylinder.