Title data
Zeising, Michael:
Constraint-System für eine mehrschichtige Metamodellierungsumgebung.
Bayreuth
,
2011
(Master's,
2011, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
|
|||||||||
Download (1MB)
|
Abstract
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 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.
Further data
Item Type: | Master's, Magister, Diploma, or Admission thesis |
---|---|
Keywords: | Semantik; Modellierung; Formale Sprache; Metamodellierung; Constraints; Domänenspezifische Sprache |
DDC Subjects: | 000 Computer Science, information, general works > 004 Computer science |
Institutions of the University: | Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science Faculties Faculties > Faculty of Mathematics, Physics und Computer Science |
Language: | German |
Originates at UBT: | Yes |
URN: | urn:nbn:de:bvb:703-opus-9382 |
Date Deposited: | 25 Apr 2014 08:16 |
Last Modified: | 16 Jun 2016 11:47 |
URI: | https://epub.uni-bayreuth.de/id/eprint/303 |