Core Concepts
Dieser Artikel stellt einen neuen Ansatz zur Formalisierung der Ausführungssemantik von BPMN-Modellen vor, der auf einer höherstufigen Transformation zu Graphtransformationssystemen basiert. Dieser Ansatz ermöglicht die Überprüfung von Verhaltenseigenschaften, um Kontrollflussfehlern in BPMN-Modellen vorzubeugen.
Abstract
Dieser Artikel präsentiert einen Ansatz zur Formalisierung der Ausführungssemantik von BPMN-Modellen mithilfe von Graphtransformationssystemen. Der Ansatz basiert auf einer höherstufigen Transformation, bei der für jedes BPMN-Modell ein spezifisches Graphtransformationssystem generiert wird.
Der Artikel beginnt mit der Definition eines Ausführungsmetamodells für BPMN, das den Zustandsraum während der Ausführung repräsentiert. Anschließend wird erläutert, wie mithilfe von Regeneierungsvorlagen Graphtransformationsregeln für die verschiedenen BPMN-Elemente generiert werden. Diese Regeln beschreiben die Zustandsübergänge während der Ausführung.
Um die Korrektheit von BPMN-Modellen zu überprüfen, können allgemeine BPMN-Eigenschaften wie Sicherheit und Terminierung sowie benutzerdefinierte Eigenschaften spezifiziert und überprüft werden. Dazu werden die generierten Graphtransformationssysteme in das Modelüberprüfungswerkzeug Groove eingebunden.
Abschließend wird die Implementierung des BPMN Analyzers vorgestellt, einer webbasierten Anwendung, die den vorgestellten Ansatz umsetzt. Der BPMN Analyzer ermöglicht es Benutzern, BPMN-Modelle zu erstellen, zu analysieren und benutzerdefinierte Eigenschaften zu spezifizieren. Darüber hinaus werden Leistungstests des Werkzeugs mit realistischen und synthetisch generierten BPMN-Modellen präsentiert.
Stats
BPMN ist ein weit verbreiteter Standard zur Definition von Workflows in Unternehmen.
Die informelle Beschreibung der Ausführungssemantik von BPMN führt zu unterschiedlichen Interpretationen und Schwierigkeiten bei der Überprüfung von Verhaltenseigenschaften.
Unser Ansatz ermöglicht die Formalisierung der Ausführungssemantik von BPMN mithilfe von Graphtransformationssystemen und unterstützt die Überprüfung von allgemeinen und benutzerdefinierten Verhaltenseigenschaften.
Der BPMN Analyzer ist eine webbasierte Anwendung, die unseren Ansatz implementiert und Benutzern eine benutzerfreundliche Oberfläche zum Erstellen, Analysieren und Überprüfen von BPMN-Modellen bietet.
Quotes
"Die informelle Beschreibung der BPMN-Ausführungssemantik führt zu unterschiedlichen Interpretationen von BPMN-Elementen und Schwierigkeiten bei der Überprüfung von Verhaltenseigenschaften."
"Unser Ansatz basiert auf einer höherstufigen Transformation von BPMN-Modellen zu Graphtransformationssystemen."
"Um die Korrektheit von BPMN-Modellen zu überprüfen, können allgemeine BPMN-Eigenschaften wie Sicherheit und Terminierung sowie benutzerdefinierte Eigenschaften spezifiziert und überprüft werden."