Modelle und Metamodelle

Matters of (meta-) modeling

nach Thomas Kühne

Referent: Manuel Haim

Bevor modellgetriebene Software-Entwicklung betrieben wird...

sollte jeder Beteiligte genau wissen, was Modelle und Metamodelle sind

sonst gibt es unbemerkte Missverständnisse

Matters of (meta-) modeling » Einführung

Thomas Kühne

Ein Modell ist ein Artefakt

formuliert in Modellierungssprache (z.B. UML)

beschreibt ein System

Matters of (meta-) modeling » Modell

Ein Modell ist...

Abstraktion eines (wirklichen oder sprachlich formulierten) Systems

erlaubt Vorhersagen oder Schlussfolgerungen

Matters of (meta-) modeling » Modell

System-Modell-Relation:

Modell vom System:

Auch ein Modell kann als System dienen

Modell-Eigenschaften (Stachoviak)

mapping: basiert auf System

reduction: enthält nur einen relevanten Teil aller Eigenschaften des Systems

pragmatic: anstelle des Originals verwendbar

Matters of (meta-) modeling » Modell

}

projection

Projektion (Filterung)

weitere Abstraktion

Translation in Modellierungssprache

Wozu Modelle?

deskriptiv: Zusammenfassen von Wissen

oder präskriptiv: Entwurfsskizze, Blueprint

dienen der Kostenreduktion

Matters of (meta-) modeling » Modell

über etwas (Inhalt, Bedeutung)

erschaffen von jemandem (Sender)

für jemanden bestimmt (Empfänger)

zu einem Zweck (Verwendungskontext)

Ein Modell ist Information (Steinmüller)

Ein Modell kann in Rollen schlüpfen

keine Modell-Eigenschaft

sondern abhängig von Modell-System-Relation

Matters of (meta-) modeling » Modell-Rollen

Token-Modelle

zeigen individuelle Eigenschaften

es gilt:

keine Generalisierung (auch wenn z.B. 2- und 3-spurige Autobahnen als Autobahnen betrachtet werden)

Matters of (meta-) modeling » Modell-Rollen

Type-Modelle

zeigen universelle Eigenschaften

es gilt: (Klassifizierungsfunktion)

Klassifizierung ist noch keine Generalisierung, denn es werden keine Konzepte zusammengefasst, sondern nur Elemente

Matters of (meta-) modeling » Modell-Rollen

Generalisierung

führt zu Type-Modell

ist bei Erzeugung von Token-Modellen sinnlos

Matters of (meta-) modeling » Modell-Rollen

Wie entstehen Meta-Modelle?

„meta“ = zweifache Anwendung einer Operation

jedoch anders als bei Modellierung:

azyklisch, anti-transitiv, level-beibehaltend

Matters of (meta-) modeling » Metamodell

Meta-Modelle...

modellieren nicht den Inhalt eines anderen Modells

sondern die Sprache, in der es modelliert ist

Matters of (meta-) modeling » Metamodell

ein Modell wird zur Instanz eines Meta-Modells:

ontologisch

oder linguistisch

Konzepte:

extension – alles, was dazu gehört

intension – alle nötigen Eigenschaften

Matters of (meta-) modeling » Metamodell

Matters of (meta-) modeling » Metamodell

Manuel Haim

2005-06-17T09:51:51