Ablaufspezifikation durch Datenflußdiagramme und Axiome

Beschrieben wird eine formale Methode zur Modellierung des dynamischen Verhaltens von Systemen durch Datenflusdiagramme. Dabei werden Datenflusdiagramme erganzt um axiomatische Spezifikationen und in die algebraisch/axiomatische Spezifikationssprache SPECTRUM ubersetzt.