Spezifikation

  • Inhalte einer Spezifikation
  • Beispielspezifikation Ampelsteuerung
  • Formale Beschreibung
  • Blockdiagramme
  • ... für die Ampel
  • Zustandsübergangs-diagramme
  • ... für die Ampel
  • Task-Flow-Graphen
  • ... für die Ampel
  • System Level Design Language
  • ... Vorteile
  • ... Konstrukte
Startseite

Task-Flow-Graphen werden häufig bei der System-Spezifikation genutzt. Sie stellen den Kontroll- und Datenfluss zwischen den einzelnen Aufgaben (Tasks) eines Systems dar. Jeder Knoten des Graphen stellt dabei eine Aufgabe des Systems dar, die aus vielen einzelnen Schritten bestehen kann. Jede Kante des Graphen repräsentiert einen Datenfluss. Die einzelnen Aufgaben des Systems können zu Aufgabengruppen zusammengefasst werden. Ferner können Task-Flow-Graphen hierarchisch aufgebaut sein, so dass ein Knoten des Graphen in einem weiteren Task-Flow-Graphen detailliert beschrieben werden kann.