Klausur

Modell = Fundamentales Konzept unseres Umgang mit der Welt. Sie können Abbilder und/oder Vorbilder sein

Abbild = deskriptiv (beschreibend), beschreibt existierende Originale

Vorbild = präskriptiv (vorschreibend), beschreibt nicht existierende Originale

Original = Gebilde, welches Abbild oder Vorbild ist (nicht immer vorhanden)

Gedankliche Modelle befinden sich in unseren Köpfen und Konkrete Modelle sind explizit dargestellt, haben eine Repräsentation

-Komplexitätsreduktion,

-Konzentration auf das Wesentliche

-Verstehen eines Originals und Kommunizieren darüber -Durchführung von Experimenten und Aufstellen und Prüfen von Hypothesen

{ordered} / {unordered}

{overlapping} / {disjoint}

{complete}\{incomplete}

Analyse von Verhaltensmodellen

Erreichbarkeit (Reachability)

Ausgehend von einem Zustand A kann ein Zustand B erreicht werden

Lebendigkeit (Liveness)

Ausgehend von einem Zustand A wird ein Zustand B in jedem Fall erreicht.

Sicherheit (Safety)

Ausgehend von einem Zustand A kann ein Zustand B nicht erreicht werden