
Статический анализ для моделей процессов BPMN 2.0
Создание действительных, стандартных соответствующих моделей процессов BPMN 2.0 не является тривиальным. Даже когда используются современные инструменты моделирования, модель часто нарушает некоторые ограничения, указанные в стандартном документе.
BPMNSepepor проверяет отдельные файлы - или полные каталоги - файлов BPMN и отчеты о нарушениях ограничений BPMN 2.0.
BPMnspector в настоящее время поддерживает:
Это программное обеспечение лицензировано по лицензии с открытым исходным кодом LGPL 3.
Для получения дополнительной информации посетите http://www.uni-bamberg.de/pi/bpmn-constraints.
Поскольку BPMNSpector использует Gradlew только для установки Java 8 - загрузка и конфигурация необходимых библиотек выполняется на лету.
Для использования BPMnSepepor просто запустите сценарий начала:
$ 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
Матиас Гейгер, Филипп Нойгебауэр и Андреас Ворндран
Bpmnspector частично основан на практической части двух бакалавровских тезисов:
de.uniba.dsg.bpmnspector.refcheck - эта часть уже была опубликована здесьde.uniba.dsg.bpmnspector.schematron - автономная версия - Schematronbpmnvalidator Сообщите о своей проблеме здесь, в Github!
Просто вилка и отправьте запрос на привлечение.