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:

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.





VDM Class Library