Verwendung und Prüfung von Integritätsbedingungen in der ...

Verwendung und Prüfung von Integritätsbedingungen in der Modellierungssprache ADORA

mastersthesis
This diploma thesis examines the use of constraints in the ADORA language and tool. It analyses how the grammar can be enriched with constraints. In doing so, the language is restricted using static semantics formulated in the Integrity Constraint Language (ICL). A method for instance-based tests on constraints was analysed and implemented in order to check the static semantics of the ADORA tool. The testing mechanism and the constraints formulated by the EBNF restrictions are separate from the tool’s actual code. Modellers also deploy constraints to enhance models. This work studies how constraints formulated by the modeller might be integrated into the current ADORA language universe. ICL is also used to formulate these constraints at model level. This should enable the mechanism developed to test language-related constraints to be applied in addition to test restrictions with regard to the model.
Christina Cramer
Diese Arbeit beschäftigt sich mit dem Einsatz von Integritätsbedingungen in der Sprache und dem Werkzeug ADORA. Es wird analysiert, wie die Sprache durch Integritätsbedingungen angereichert werden kann. Als Erstes wurde die Sprache durch statische Semantik, formuliert in der Integrity Constraint Language (ICL), eingeschränkt. Um die statische Semantik im ADORA-Werkzeug prüfen zu können, wurde ein Ansatz zur instanzbasierenden Prüfung von Integritätsbedingungen analysiert und umgesetzt. Der Mechanismus zur Prüfung und die Integritätsbedingungen welche die Einschränkungen formulieren, sind entkoppelt vom Code des Werkzeugs. Zweitens wird analysiert, wie Integritätsbedingungen eingesetzt werden können, um Modelle durch den Modellierer mit Semantik anzureichern. Dazu wurde untersucht, wie durch den Modellierer formulierte Integritätsbedingungen in den aktuellen Stand der Sprache ADORA integriert werden können. Für die Formulierung der Integritätsbedingungen auf Modellebene wird ebenfalls ICL verwendet. Dadurch ist es möglich, den für die Prüfung sprachbedingter Integritätsbedingungen entwickelten Mechanismus auch für die Prüfung von Einschränkungen bezüglich des Modells zu verwenden.
Verwendung und Prüfung von Integritätsbedingungen in der Modellierungssprache ADORA
2007
Zurich, Switzerland
May
University of Zurich
rerg