Conceptualization and implementation of a constraint-modeling-language

Durch Beschränkungen, welche beliebige Modellierungssprachen adressieren und erweitern, erhalten Modellierer/-innen ein flexibles Spektrum an Konzepten und Methoden, um die Qualität von Modellen zu verbessern. Diese Arbeit beschreibt eine Modellierungssprache für Beschränkungen, welche durch OCL inspiriert sind und auf Metamodell- Ebene zugewiesen werden. Dies ermöglicht es, sowohl einzelne spezifische Modellinstanzen, als auch eine breite Anzahl an denkbaren Modellen zu adressieren und mit Beschränkungen anzureichern. Weiters beschreibt die Arbeit, wie eine solche Sprache in der ADOxx meta modeling platform konzeptionell umgesetzt und implementiert werden kann. Schlussendlich zeigt eine Funktionalität zur Validierung, dass zugewiesene Beschränkungen im Rahmen von praktisch orientierten Szenarien auch überprüft und ausgewertet werden können. Die Implementierung in ADOxx wurde auf einer CD, welche auf der letzten Seite der Arbeit zu finden ist, gespeichert.By assigning constraints to arbitrary modeling languages, a modeller acquires a flexible spectrum of concepts and methods for improving the quality of models. This thesis introduces a Constraint-Modeling-Language which deposits OCL inspired restrictions on meta model layer affecting particular model instances or the entire amount of potentially instanced models. As a result, the language can administer very specific cases as well as quantitative scenarios regarding lots of imaginable model instances. In addition, the thesis describes how the above mentioned approach can be implemented in the ADOxx meta modeling platform. Last but not least, a validation functionality demonstrates the feasibility of constraint validations in practically orientated use case scenarios. The implementation in ADOxx is attached as CD which can be found at the last page of the thesis