
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를 사용하려면 단순히 시작 스크립트를 실행합니다.
$ 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는 부분적으로 두 개의 학사 논문의 실제 부분을 기반으로합니다.
de.uniba.dsg.bpmnspector.refcheck 를 개발했습니다.이 부분은 이미 여기에 게시되었습니다.de.uniba.dsg.bpmnspector.schematron 의 schematron 검증 부분을 만들었습니다 - 독립형 버전은 schematronbpmnvalidator입니다. Github에서 여기에서 문제를보고하십시오!
포크로 풀 요청을 보내십시오.