Auch wenn Sprachen zur Modellierung von Geschäftsprozessen kein technisches Vorwissen benötigen, können mit ihnen Prozessmodelle erstellt werden, die nicht korrekt funktionieren. In der Regel stellen solche Fehler für erste Entwürfe und für Diskussionen von Prozessen in Unternehmen keine Probleme dar. Jedoch werden sie schnell zu einem Problem, wenn das Prozessmodell automatisiert werden soll. In der Forschung gibt es seit über 20 Jahren Korrektheitsnachweise für Prozessmodelle, welche bis jetzt aber kaum Einzug in Modellierungswerkzeuge gefunden haben. In diesem Vortrag stellen wir einen solchen Korrektheitsnachweis anhand von sieben einfachen Fehlerarten vor, welche wir durch jahrelange Forschung ermitteln konnten. Diese Fehlerarten können anhand des Prozessmodells „per Hand“ überprüft und bereits während der Modellierung beachtet werden. Sie benötigen kaum Vorwissen, sind daher leicht zu erlernen und tragen sofort zu einer höheren Qualität von Prozessmodellen bei. Anhand unserer Software BPMNinvest (https://guybrushprince.github.io/bpmninvest/) zeigen wir, dass diese Fehlerarten auch von Modellierungswerkzeugen gefunden werden können. Diese Software bietet sich daher auch sehr gut für das Erlernen der Fehlerarten an. Darüber hinaus entdeckt BPMNinvest noch weitere Fehler im Prozessmodell und erlaubt die Simulation dieser Fehler.

Das Ziel des Vortrags ist die Übertragung des Wissens der Forschung in die Praxis und damit einhergehend die Erhöhung der Qualität von Prozessmodellen im DACH-Raum.