
Statische Analyse für BPMN 2.0 -Prozessmodelle
Das Erstellen von gültigen, standardmäßigen konformen BPMN 2.0 -Prozessmodellen ist nicht trivial. Auch wenn Modeling-Tools für hochmoderne Modelle verwendet werden, verletzt das Modell häufig gegen einige der im Standarddokument angegebenen Einschränkungen.
BPMNSpector überprüft einzelne Dateien - oder vollständige Verzeichnisse - von BPMN -Dateien und meldet Verstöße gegen BPMN 2.0 -Einschränkungen.
BPMNSpector unterstützt derzeit:
Diese Software ist unter der Open -Source -Lizenz von LGPL Version 3 lizenziert.
Weitere Informationen finden Sie unter http://www.uni-bamberg.de/pi/bpmn-constraints.
Da BPMNSepector Gradlew verwendet, wird nur eine Java 8 -Installation benötigt - Download und Konfiguration der benötigten Bibliotheken wird im laufenden Fliegen durchgeführt.
Um BPMNSePector zu verwenden, führen Sie einfach das Startskript aus:
$ BPMNspector fileToValidate.bpmn
Nach Abschluss wird automatisch ein HTML -Bericht eröffnet - alle Berichte werden in {BPMNspector.home}/reports gespeichert.
Verfügbare Optionen werden unter Anruf aufgeführt:
$ BPMNspector -h
oder hier:
usage: BPMNspector <file or directory> [-c <[opt1[,opt2]...>] [-d] [-f
<NONE | AUTO | INTERACTIVE>] [-h] [-o] [-r <ALL | XML | HTML |
NONE>]
Options:
-c,--checks <[opt1[,opt2]...> defines which checks should be
performed.
Allowed values:
EXT - checks conformance to EXT rules
ALL - performs all checks (default)
REF - checks the correctness of
references
XSD - performs an XML schema validation
-d,--debug run BPMNspector in debug mode
-f <NONE | AUTO | INTERACTIVE> configures automated fixing options.
Allowed values:
AUTO - all fixable violations will be
fixed automatically
NONE - No fixes should be performed
(default)
INTERACTIVE - ask for each violation
-h,--help prints this usage information
-o,--open open the report file upon completion
-r <ALL | XML | HTML | NONE> defines which report type should be
generated.
Allowed values:
ALL - create all report types
XML - create XML reports
HTML - create HTML reports (default)
NONE - No report files should be created
Examples:
BPMNspector myfile.bpmn
BPMNspector c:absolutepathtofolder -c REF -d
BPMNspector c:absolutepathtofile.bpmn -o -r HTML
Laufen...
$ gradlew idea
# or
$ gradlew eclipse
... Projektdateien für Ihre bevorzugte IDE erstellen.
Das Repository ist auf folgende Weise strukturiert:
|- gradle: contains the gradle wapper
|- lib: all libs required for the tool which aren't available via public repositories
|- src
|-- main
|--- java: contains all java classes
|---- api: contains the API files needed for integration in other tools
|---- de.uniba.dsg.bpmnspector: implementation of BPMNspector
|--- resources: contains all needed resource files (e.g., schema validation files)
|-- test
|--- java: contains the sources of all JUnit test classes
|--- resources: contains all needed test resource files
Laufen...
$ gradlew javadoc
... um die Javadoc -Dokumentation zu generieren.
LGPL Version 3: http://www.gnu.org/licenses/lgpl-3.0.html
Matthias Geiger, Philipp Neugebauer und Andreas Vorndran
BPMNSpector basiert teilweise auf dem praktischen Teil von zwei Bachelor -Thesen:
de.uniba.dsg.bpmnspector.refcheck entwickelt - Dieser Teil wurde bereits hier veröffentlichtde.uniba.dsg.bpmnspector.schematron - Die eigenständige Version ist Schematronbpmnvalidator Melden Sie Ihr Problem hier bei GitHub!
Geben Sie nur eine Gabel und senden Sie eine Pull -Anfrage.