Speicherverwaltung Die VDM-Basistypen Die VDM-Basistypen

Vorbemerkungen

Reihenfolge Die FH-Installation  stellt sieben VDM-Basistypen zur Verfügung, die in folgender Reihenfolge in den Abschnitten dieses Kapitels dargestellt sind:

• ELEMENTARY  (Char, Nat1, Nat0, Intg, Bool)
• Set 
• Tuple 
• Map 
• Optional 
• Tree 
• Union 

Aufbau Die Abschnitte über Sets, Tuples, Maps, Optionals, Trees und Unions sind folgendermaßen aufgebaut:

• Kurze Beschreibung, Definition eines Domains in der DSL und Anwendungsmöglichkeiten des ADT
• Implementationen
• Operationen: Konstruktoren, Kombinatoren, Prädikate, Attribute,...

Operationen Konstruktoren  erzeugen neue Objekte. Kombinatoren  erstellen neue Objekte aus bestehenden Objekten bzw. Objekten und Elementen. Prädikate  geben zweiwertige Eigenschaften von Objekten (wahr oder falsch) wieder. Attribute  umfassen alle mehrwertigen Eigenschaften eines Objekts. Weitere Operationen sind von Typ zu Typ unterschiedlich und bilden je nach Bedarf weitere Kategorien.

Die Operations-Namen werden hier in der generischen Form vorgestellt -- vergessen Sie nicht, sie in Ihrer Anwendung in der erweiterten Form zu benutzen!

Zu den VDM-Basistypen Set, Tuple, Map und Tree finden Sie außerdem größere Anwendungsbeispiele mit Lösungen in C. Sie umfassen jeweils die DSL-Spezifikation und die Codierung der semantischen Funktionen. Die Operations-Namen sind dann natürlich schon erweitert.

Zunächst erfahren Sie allerdings etwas über die grundlegenden Mechanismen der Speicherverwaltung, da die strukturierten ADT auf dynamischen Datenstrukturen  basieren und Sie häufig selbst dafür sorgen müssen, daß Ihre Objekte zerstört bzw. nicht zerstört werden.

Danach werden die wenigen Operationen, die für alle VDM-Basistypen definiert sind, kurz zusammengefaßt.