
BPMN 2.0プロセスモデルの静的分析
有効で標準的な準拠のBPMN 2.0プロセスモデルを作成することは些細なことではありません。最先端のモデリングツールが使用されている場合でも、モデルは標準ドキュメントに記載されている制約の一部にしばしば違反します。
BPMNSPECTORは、BPMNファイルの単一ファイル(または完全なディレクトリ)をチェックし、BPMN 2.0の制約の違反を報告します。
BPMNSpectorは現在サポートしています。
このソフトウェアは、LGPLバージョン3オープンソースライセンスの下でライセンスされています。
詳細については、http://www.uni-bamberg.de/pi/bpmn-constraintsをご覧ください。
BPMNSPECTORはGradlewのみを使用しているため、Java 8のインストールが必要です - 必要なライブラリのダウンロードと構成はその場で実行されます。
bpmnspectorを使用するには、Start Scriptを実行するだけです。
$ BPMNspector fileToValidate.bpmn
完了後、HTMLレポートが自動的に開かれます - すべてのレポートは{BPMNspector.home}/reportsに保存されます。
利用可能なオプションは、呼び出しによってリストされています。
$ BPMNspector -h
またはここ:
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
走る...
$ gradlew idea
# or
$ gradlew eclipse
...お気に入りのIDEのプロジェクトファイルを作成します。
リポジトリは次のように構成されています。
|- 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
走る...
$ gradlew javadoc
... Javadocドキュメントを生成します。
LGPLバージョン3:http://www.gnu.org/licenses/lgpl-3.0.html
Matthias Geiger、Philipp Neugebauer、Andreas Vorndran
BPMNSPECTORは、2つの学士論文の実用的な部分に部分的に基づいています。
de.uniba.dsg.bpmnspector.refcheckを開発しました - この部分はすでにここで公開されていますde.uniba.dsg.bpmnspector.schematronのschematron検証部分を作成しました - スタンドアロンバージョンはSchematronbpmnvalidatorですGithubであなたの問題をここに報告してください!
ただフォークしてプルリクエストを送信します。