Spezifikationstechniken: Die Z Notation

Zusammenfassung

EineSpezifikationist eine präzise Beschreibung eines Sachverhalts auf einem bestimmten Abstraktionsniveau für einen bestimmten Zweck. Der Sachverhalt kann die (beobachtbare) Beziehung zwischen vorhandenen Gegenständen sein, also der Aufbau und die Wirkungsweise eines Systems. Oder er kann ein gedachtes und noch zu konstruierendes System darstellen. In beiden Fällen ist der Zweck der Spezifikationen, das erwartete Verhalten oder den möglichen Gebrauch des Systems beurteilen oder vorhersagen zu können. Dies gilt auch für statische Systeme, wie z. B. Häuser, die durch ihre Baupläne spezifiziert sind. Bei noch zu konstruierenden Systemen lassen sich aus der Spezifikation Aussagen über notwendige Eigenschaften, Konstruktions-und Produktionsaufwand (bei gegebenem Stand der Technik) und die Randbedingungen des späteren Gebrauchs herleiten; eine Spezifikation ist zunächst nicht Ergebnis des Entwurfs, sondern die Vorgabe dazu, und zugleich Grundlage für das Gespräch mit dem Auftraggeber.

Of course, there is no fool proof methodology or magic formula that will ensure a good, efficient, or even feasible design. For that, the designer needs experience, insight, flair, judgement, invention. Formal methods can only stimulate, guide, and discipline our human inspiration, clarify design alternatives, assist in exploring their consequences, formalize and communicate design decisisions, and help to ensure that they are correctly carried out.

C. A. R. HonuE, 1988