next up previous contents
Next: Operationen hinzufügen Up: Funktionale Modellierung Previous: Entwicklung von Datenflu\3diagrammen

Funktionen beschreiben

Die einzelnen Funktionen oder Prozesse des Datenflu\3diagramms sollten nun genauer beschrieben werden, so da\3 aus der Spezifikation genau hervorgeht, wie die Ausgabewerte von den Eingaben abhängen. Die Beschreibung der Funktionen ist auf unterschiedliche Weise möglich. Vorteilhaft ist es, wenn die Funktion durch mathematische Formeln oder auch formale Spezifikationsmethoden (wie z.B. `Z') beschrieben werden kann. Es ist aber auch möglich, eine Beschreibung in natürlicher Sprache oder in einem Pseudo-Programmcode vorzunehmen, wobei der Pseudocode den Nachteil hat, da\3 zur Spezifikation, was die Funktion berechnen soll, bereits ein Algorithmus angegeben wird, der auch beschreibt, wie eine solche Berechnung aussehen kann, wobei später in der Implementationsphase die Funktion durchaus durch einen anderen Algorithmus realisiert werden kann, sofern dieser die gleichen Ergebnisse liefert und somit die Funktion korrekt berechnet.



Dennis Logeman (PG PG_MM )
Wed Dec 11 14:23:03 MET 1996