Semantikcheck ausführen

Die korrekte Modellierung ist Voraussetzung für die nachfolgende automatische Transformation des BPM-Prozesses in ein BPMN-Diagramm. Mit dem Semantikcheck kann schon bei der Modellierung geprüft werden, ob die Transformation problemlos möglich ist. Er prüft, ob die Modellierungskonventionen eingehalten wurden und alle erforderlichen Elemente und Informationen vorhanden sind.