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