Spezifikation von Komponenten

• zustandslose (statische) Komponente:

  Operation ist Funktion: Eingabedaten → Ausgabedaten

• zustandsbehaftete (dynamische) Komponente:

  Operation is Aktion (Zustandsänderung),

  d. h. Funktion: Startzustand → Finalzustand