Entwurf und Implementierung einer Erweiterung für eine Modellierungssprache zur Definition formaler Modelle um strukturierte Datentypen

Abstract

Diese Arbeit beschäftigt sich mit der Erweiterung des Open-Source-Projektes USE um ein Feature. Bei USE handelt es sich um ein Tool zur Erstellung von formalen Modellen in der UML und in der OCL. Es wird um das Sprachelement für die Verwendung von strukturierten Datentypen mit Wertesemantik erweitert. Das Vorgehen ist die Zusammenstellung relevanter theoretischer Grundlagen, eine Spezifikation und ein Entwurf für die Umsetzung des Vorhabens. Nach einer erfolgreichen Umsetzung wird evaluiert, ob die zuvor gesetzten Ziele erreicht wurden.

This thesis deals with the extension of the open source project USE by a feature. USE is a tool for creating formal models in UML and OCL. It is extended by the language element for the use of structured data types with value semantics. The procedure is the compilation of relevant theoretical principles, a specification and a draft for the implementation of the project. After successful implementation, an evaluation is carried out to determine whether the previously set goals have been achieved.