Quantitative Stückliste - das VDM Tutor Beispiel: Syntaxdefinition von Programmiersprachen

Ein größeres Beispiel

 

Nachdem Sie nun die einzelnen VDM-Basistypen mit kleinen Beispielen für ihre Anwendung kennengelernt haben, möchten Sie vielleicht einmal ein größeres Beispiel sehen, in dem die ADT ,,zusammenspielen``.    

Aufgabe Wir wollen aus der in Abschnitt 5.6.4 vorgestellten qualitativen Stückliste eine quantitative Stückliste machen. Wir benötigen folgende Funktionen:

• Laden und Speichern der Stückliste
• Aufnahme einer neuen Teil-Beschreibung in die Stückliste (Erweiterung)
• Änderung einer vorhandenen Teil-Beschreibung
• Ausgabe der sogenannten ,,Struktur-Stückliste`` für ein Teil

Struktur-Stückliste Eine Struktur-Stückliste stellt die Zusammensetzung eines Teils in einer hierarchischen Struktur dar, jeweils mit der Anzahl benötigter Teile -- sie wird in der Fertigung benötigt. Im Gegensatz dazu zeigt die Mengenübersichts-Stückliste nur an, welche Teile wie häufig benötigt werden und ist damit für den Einkauf geeignet; kommt ein Teil an verschiedenen Stellen vor, werden die Einzelhäufigkeiten kumuliert und gesammelt ausgegeben.

• Quantitative Stückliste - das Datenmodell
• Die semantischen Funktionen
• Das Steuerprogramm