BPMNspector下載BPMNspector源代碼下載

BPMNspector

其他類別

v1.1.0 - Improved API Usage

下載

bpmnspector

BPMN 2.0過程模型的靜態分析

這是什麼？ ||描述

創建有效的，標準的BPMN 2.0流程模型並非微不足道。即使使用最先進的建模工具，模型也經常違反標准文檔中所述的一些約束。

BPMNSpector檢查BPMN文件的單個文件或完整目錄，並報告違反BPMN 2.0約束的情況。

BPMNSpector當前支持：

模式驗證：確保對官方OMG XSD文件的正確性
參考檢查：確保所有使用的參考都存在，並且僅使用有效類型
檢查高級約束：
- 44（屬於50個）的約束為“描述性一致性子類”定義
- 檢查所有其他“分析符合子類”約束
- 45（49個）的約束，用於“常見可執行符合子類”
- 8（12個）檢查了“完全符合子類”的其他限制
進口的支持：（可分解）進口流程，WSDL和XSD文件
各種違規行為的自動修復：修復自動發現違規行為

該軟件是根據LGPL版本3開源許可證獲得許可的。

有關更多信息，請訪問http://www.uni-bamberg.de/pi/bpmn-constraints。

我需要什麼？ ||要求

由於BPMNSpector使用Gradlew僅需要Java 8安裝 - 下載並隨時執行所需庫的配置。

JDK 1.8.0（或更高）
- java_home應該指向JDK目錄
- 路徑應包括java_home/bin

如何使用bpmnspector？ ||用法

要使用bpmnspector，只需運行開始腳本：

 $ 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

如何將BPMNSpector用作開發人員？ ||發展

跑步...

 $ 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

技術文檔 / Javadoc

跑步...

 $ gradlew javadoc

...生成Javadoc文檔。

許可

LGPL版本3：http：//www.gnu.org/licenses/lgpl-3.0.html

作者

Matthias Geiger，Philipp Neugebauer和Andreas Vorndran

BPMNSpector部分基於兩個單身漢的實際部分：

Andreas開發了參考檢查機制de.uniba.dsg.bpmnspector.refcheck此部分已經在此處發布
Philipp創建了bpmnspector de.uniba.dsg.bpmnspector.schematron的示意圖驗證的一部分 - 獨立版本是schematronbpmnvalidator