Hilfsmittel Semantischer Modellierung

Zusammenfassung

Ein wesentlicher Anteil der Lösung typischer Aufgabenstellungen der angewandten Mathematik und Informatik besteht in der Darstellung der Semantik vorgegebener Realitätsausschnitte durch formale und abstrakte Modelle. Der Abstraktionsprozeß ermöglicht es, die für eine gegebene Problemstellung relevanten Aspekte eines wahrgenommenen Realitätsausschnittes auszuwählen und unabhängig von der Vielzahl aller übrigen Aspekte der Realität abstrakt zu beschreiben. Die durch Anwendung formaler Techniken unterstützte Auswertung und Analyse eines abstrakten Realitätsmodells ermöglichen es, formale Ergebnisse herzuleiten, die dann wieder als Aussagen im Kontext des gesamten modellierten Realitätsausschnittes interpre-tiert werden können.