BPMNspector Download - BPMNspector Source Code Download

BPMNspector

Autres catégories

v1.1.0 - Improved API Usage

Télécharger

Bpmnspector

Analyse statique pour les modèles de processus BPMN 2.0

Qu'est-ce que c'est? || Description

La création de modèles de processus BPMN 2.0 valides et standard n'est pas trivial. Même lorsque des outils de modélisation de pointe sont utilisés, le modèle viole souvent certaines des contraintes énoncées dans le document standard.

BPMNSpector vérifie les fichiers uniques - ou les répertoires complets - des fichiers BPMN et rapporte les violations des contraintes BPMN 2.0.

BPMNSpector prend actuellement en charge:

Validation du schéma: garantit l'exactitude concernant les fichiers officiels OMG XSD
Vérification des références: garantit qu'il existe toutes les références utilisées et que seuls les types valides sont utilisés
Vérification des contraintes avancées:
- 44 (sur 50) Les contraintes définies pour le "sous-classe de conformité descriptive" sont vérifiées
- Toutes les contraintes supplémentaires de «sous-classe de conformité analytique» sont vérifiées
- 45 (sur 49) Les contraintes pour le "sous-classe de conformité exécutable commune" sont vérifiées
- 8 (sur 12) Autres contraintes pour "Full Conformance Sous Class" sont vérifiées
Prise en charge des importations: (résolunable) Les importations de processus, les fichiers WSDL et XSD sont également vérifiés
Correction automatisée de diverses violations: Correction des violations trouvées automatiquement

Ce logiciel est sous licence en vertu de la licence open source LGPL version 3.

Pour plus d'informations, visitez http://www.uni-bamberg.de/pi/bpmn-constraintes.

De quoi ai-je besoin? || Exigences

Comme BPMNSpector utilise Gradlew, seule une installation Java 8 est nécessaire - le téléchargement et la configuration des bibliothèques nécessaires sont effectuées à la volée.

JDK 1.8.0 (ou plus)
- Java_Home devrait pointer vers le répertoire JDK
- Le chemin doit inclure Java_Home / Bin

Comment utiliser BPMNSpector? || Usage

Pour utiliser BPMNSpector, exécutez simplement le script de démarrage:

 $ BPMNspector fileToValidate.bpmn

Une fois l'achèvement, un rapport HTML sera ouvert automatiquement - tous les rapports sont stockés dans {BPMNspector.home}/reports .

Les options disponibles sont répertoriées en appelant:

 $ BPMNspector -h

Ou ici:

 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

Comment puis-je utiliser BPMNSpector en tant que développeur? || Développement

Courir...

 $ gradlew idea
# or
$ gradlew eclipse

... pour créer des fichiers de projet pour votre IDE préféré.

Structure du logiciel / référentiel

Le référentiel est structuré de la manière suivante:

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

Documentation technique / Javadoc

Courir...

 $ gradlew javadoc

... pour générer la documentation Javadoc.

Licence

LGPL Version 3: http://www.gnu.org/licenses/lgpl-3.0.html

Auteurs

Matthias Geiger, Philipp Neugebauer et Andreas Vorndan

BPMNSpector est en partie basé sur la partie pratique de deux thèses de baccalauréat:

Andreas a développé le mécanisme de vérification des références de.uniba.dsg.bpmnspector.refcheck - cette partie a déjà été publiée ici
Philipp a créé la partie de validation de Schematron de BPMNSpector de.uniba.dsg.bpmnspector.schematron - La version autonome est SchematronBpmnvalidator