
การวิเคราะห์แบบคงที่สำหรับแบบจำลองกระบวนการ 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 - เวอร์ชันสแตนด์อโลนคือ schematronbpmnvalidator รายงานปัญหาของคุณที่นี่ที่ GitHub!
เพียงส้อมและส่งคำขอดึง