Mutz, MartinDadam, PeterReichert, Manfred2019-10-112019-10-1120043-88579-380-6https://dl.gi.de/handle/20.500.12116/28772Im Folgenden wird ein prototypisches Werkzeug zur Überprüfung der Einhaltung von Modellierungsregeln vorgestellt. Der Prototyp wurde im Rahmen eines Automotive-Projekts entwickelt und eingesetzt. Mit Hilfe des Programms können Modellierungsregeln in Java und OCL definiert werden, um Inkonsistenzen, Inkompatibilitäten sowie Designfehler in zustandsbasierten Modellen zu analysieren. Anschließend kann die Qualität der Zustandsautomaten durch Metriken bewertet werden.deText/Conference Paper1617-5468