← Alle Kapitel Kapitel 30

Anhang I — Eine Umsetzung des Konzepts: die FtaDSL

Die DSL ist eine von mehreren Umsetzungen — nicht das Konzept selbst.

Die Methode braucht als Eingabe eine ibd — nicht ein bestimmtes Werkzeug. Dieser Anhang beschreibt eine konkrete, deterministische Umsetzung: die ibd als Text (FtaDSL), aus der ein Werkzeug den Baum mechanisch ableitet, die Cut Sets zählt und das IEC-Diagramm zeichnet. Es ist die Umsetzung, mit der jeder Baum dieses Buchs erzeugt wurde — aber eine von mehreren möglichen; ein vorhandenes Architekturmodell tut es ebenso.