BPMNspector

Bpmnspector

Análisis estático para modelos de proceso BPMN 2.0

¿Qué es? || Descripción

La creación de modelos de proceso BPMN 2.0 válidos y compatibles con estándares no es trivial. Incluso cuando se utilizan herramientas de modelado de última generación, el modelo a menudo viola algunas de las restricciones establecidas en el documento estándar.

BPMNSpector verifica archivos únicos, o directorios completos, de archivos BPMN e informa violaciones de las restricciones BPMN 2.0.

BPMNSpector actualmente es compatible con:

• Validación del esquema: garantiza la corrección con respecto a los archivos OMG XSD oficiales
• Comprobación de referencia: asegura que existan todas las referencias utilizadas y que solo se usen tipos válidos
• Verificación de restricciones avanzadas:
  • 44 (de 50) Las restricciones definidas para la "subcase de conformidad descriptiva" se verifican
  • Se verifican todas las restricciones adicionales de "subcase de conformidad analítica"
  • Se verifican 45 (de 49) las restricciones para la "subcase de conformidad ejecutable común"
  • 8 (de 12) se verifican más restricciones para la "subcase de conformidad completa"
• Soporte de importaciones: (resolutable) Las importaciones de procesos, los archivos WSDL y XSD también se verifican
• Soluciones automatizadas de diversas violaciones: la solución encontró violaciones automáticamente

Este software tiene licencia bajo la licencia de código abierto LGPL versión 3.

Para obtener más información, visite http://www.uni-bamberg.de/pi/bpmn-constraints.

¿Qué necesito? || Requisitos

Como BPMNSpector usa GradleW solo se necesita una instalación de Java 8: la descarga y la configuración de las bibliotecas necesarias se realizan en la marcha.

• JDK 1.8.0 (o superior)
  • Java_home debe señalar el directorio JDK
  • La ruta debe incluir java_home/bin

¿Cómo uso bpmnspector? || Uso

Para usar bpmnspector, simplemente ejecute el script de inicio:

 $ BPMNspector fileToValidate.bpmn

Después de finalizar, se abrirá un informe HTML automáticamente: todos los informes se almacenan en {BPMNspector.home}/reports .

Las opciones disponibles se enumeran llamando:

 $ BPMNspector -h

o aquí:

 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

¿Cómo puedo usar bpmnspector como desarrollador? || Desarrollo

Correr...

 $ gradlew idea
# or
$ gradlew eclipse

... para crear archivos de proyecto para su IDE favorito.

Estructura del software/repositorio

El repositorio está estructurado de la siguiente manera:

 |- 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

Documentación técnica / javadoc

Correr...

 $ gradlew javadoc

... para generar la documentación de Javadoc.

Licencia

LGPL versión 3: http://www.gnu.org/licenses/lgpl-3.0.html

Autores

Matthias Geiger, Philipp Neugebauer y Andreas Vorndran

BPMNSPECTOR se basa en parte en la parte práctica de dos tesis de solteros:

• Andreas ha desarrollado el mecanismo de verificación de referencia de.uniba.dsg.bpmnspector.refcheck : esta parte ya se ha publicado aquí
• Philipp creó la parte de validación del esquema de BPMNSpector de.uniba.dsg.bpmnspector.schematron - La versión independiente es SchematronbpmnValidator

Encontrado un error?

¡Informe su problema aquí en Github!

¿Contribuir?

Solo tenga la bifurcación y envíe una solicitud de extracción.

Trabajo relacionado

• Bpmnspector-fixseqflow: herramienta para corregir el error más común en los procesos BPMN: Ext.023 Violaciones