Open Access

Ines Nötzold

• State Machines erweisen sich spätestens seit ihrer Definition in der UML als vielseitig einsetzbare Modellierungssprache, auch im Zuge der Objektorientierten Softwareentwicklung. Die vorliegende Bachelorthesis stellt die UML State Machines in den Mittelpunkt der Softwaremodellierung zur Nutzung durch den an der Westsächsischen Hochschule Zwickau entwickelten Codegenerator GeneSEZ Generator Framework. Sie schildert Recherchen, Konzepte und Vorgehensweisen bei der Validierung von UML State Machine Modellen, welche automatisiert in das GeneSEZ-spezifische State Machine Metamodell überführt werden, um im nächsten Schritt lauffähigen JAVA-Quellcode zu generieren. Ziel der Arbeit ist es, das UML-Modell vor seiner Umwandlung in ein Gcore-Modell auf Validität zu überprüfen, um den Benutzer auf eventuell auftretende Divergenzen noch vor Beginn der Generierung des Quellcodes aufmerksam zu machen, sodass der Workflow der eigentlichen Erzeugung transparenter und damit verständlicher wird. Mit Augenmerk auf die Zielstellung wurden umfangreiche Recherchen durchgeführt, die Workflows zur Umwandlung des Modells sowie zur Generierung des Quellcodes analysiert und die für das UML sowie das GeneSEZ-Metamodell gewonnenen Ergebnisse vergleichend gegenüber gestellt. Schließlich wurden die ergründeten Validierungsfälle in der Programmiersprache Check in die GeneSEZ Software integriert. Im Rahmen der gewonnenen Erkenntnisse entstand ebenfalls ein Referenzdokument zur Erstellung von State Machine Modellen mit GeneSEZ für das zugehörige Manual.