Modellierung

Modell

Abstraktion der eines komplexen Systems - beschrieben mit Modellierungssprachen .

Deskriptive Modelle
komplexes System $\rarr$ Modell
Zum Analysieren

Präskriptive Modelle
Modell $\rarr$ komplexes System
Zum Planen / Konstruieren

Sprache

Natürliche Sprachen
komplex, mehrdeutig, unscharf, universell einsetzbar

Formale Sprachen
künstlich, präzise, beschränkte Einsetzungsgebiete
zB: mathematische Notation, Programmiersprachen, logische Formalsprachen

Aspekte einer formalen Sprache:

Syntax Welche Äußerungen sind zugelassen?

Semantik Was bedeutet eine zulässige Äußerung?

Ausdrucksstärke Was kann ausgedrückt werden, was nicht?

Verwendung Wie setzt man diese Sprache zum Modellieren ein?

Formale Modellierung

= Formalisierung / Formale Spezifikation

Ist eine Übersetzung:

Problemstellungen in natürlicher Sprache $\rightarrow$ Beschreibungen in einer formalen Sprache

Formale Modellierungs-Sprachen in dieser LVA können textuell oder graphisch sein.

Textuelle Sprachen:
- Logische Sprachen: Aussagenlogik, Prädikatenlogik
- Reguläre Ausdrücke
- Formale Grammatiken

Graphische Sprachen
- Endliche Automaten
- Petri-Netze (quasi eine Erweiterung von endlichen Automaten)