Constraint-System für eine mehrschichtige Metamodellierungsumgebung

Constraint system for a multilevelled meta-modeling environment

In vielen Bereichen wird die Bewältigung von komplexen Problemstellungen durch Modelle unterstützt. Modelle beschreiben Software-Systeme, geschäftliche Abläufe, Kommunikationsbeziehungen zwischen Menschen und vieles mehr. Sogenannte Metamodelle beschreiben dabei die Struktur und Bedeutung von Modellen, dienen also als „Sprache“ für deren Formulierung. Die meisten Modellierungswerkzeuge sind eng an ein bestimmtes Metamodell gekoppelt, können also nur zur Entwicklung einer bestimmten „Art“ von ModIn vielen Bereichen wird die Bewältigung von komplexen Problemstellungen durch Modelle unterstützt. Modelle beschreiben Software-Systeme, geschäftliche Abläufe, Kommunikationsbeziehungen zwischen Menschen und vieles mehr. Sogenannte Metamodelle beschreiben dabei die Struktur und Bedeutung von Modellen, dienen also als „Sprache“ für deren Formulierung. Die meisten Modellierungswerkzeuge sind eng an ein bestimmtes Metamodell gekoppelt, können also nur zur Entwicklung einer bestimmten „Art“ von Modellen dienen. Ein Ansatz flexiblere Werkzeuge zu erhalten besteht darin, zwischen der Repräsentation und der Bedeutung von Modellen zu trennen. Ein flexibles Werkzeug basiert dann auf einem Metamodell, dass lediglich die Repräsentation von Modellen beschreibt und kann damit zur Entwicklung von Metamodellen selbst dienen. Zu Beginn der Entwicklung eines Modells darf das Werkzeug so wenige Einschränkungen wie möglich vorgeben. Für bestimmte Anwendungsfälle sind hingegen strikte Regeln für die Form eines Modells sinnvoll. Das Werkzeug muss es daher ermöglichen einem Modell je nach Bedarf Regeln bezüglich seiner Struktur aufzuerlegen. Für viele inhaltliche Zusammenhänge wären sehr komplexe Modelle notwendig um alle Randbedingungen präzise zu erfassen und manches lässt sich unter Umständen mit den Mitteln der Modellierungssprache überhaupt erst gar nicht ausdrücken. Auch inhaltlich muss es daher möglich sein, dass Modell durch beliebige Randbedingungen zu verfeinern. In dieser Arbeit wird eine Sprache zur Formulierung solcher Randbedingungen (engl. constraints) entwickelt. Diese dienen einerseits dazu, die Modellierungssprache selbst einzuschränken, ermöglichen also den oben erwähnten Wechsel zwischen freien und strikten Modellierungsparadigmen. Andererseits ermöglicht sie eine inhaltliche Verfeinerung von Modellen über die Modellierungssprache hinaus.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS
  • frontdoor_exportcitavi

Additional Services

    Share in Twitter Search Google Scholar
Metadaten
Institutes:Informatik
Author: Michael Zeising
Year of Completion:2011
SWD-Keyword:Formale Sprache; Modellierung; Semantik
Tag:Constraints; Domänenspezifische Sprache; Metamodellierung
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
URN:urn:nbn:de:bvb:703-opus-9382
Document Type:Master's Thesis
Language:German
Date of Publication (online):30.11.2011