VBPMN: Automated Verification of BPMN Processes

Ajay Krishna 1 Pascal Poizat 2, 3 Gwen Salaün 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Business process modeling is an important concern in enterprise. Formal analysis techniques are crucial to detect semantic issues in the corresponding models, or to help with their refactoring and evolution. However, business process development frameworks often fall short when it comes to go beyond simulation or syntactic checking of the models. In this paper, we present our VBPMN verification framework. It features several techniques for the automatic analysis of business processes modeled using BPMN, the de facto standard for business process modeling. As such, it supports a more robust development of business processes.
Type de document :
Communication dans un congrès
13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01591665
Contributeur : Gwen Salaün <>
Soumis le : jeudi 21 septembre 2017 - 17:27:36
Dernière modification le : samedi 15 décembre 2018 - 01:50:04

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01591665, version 1

Citation

Ajay Krishna, Pascal Poizat, Gwen Salaün. VBPMN: Automated Verification of BPMN Processes. 13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy. 〈hal-01591665〉

Partager

Métriques

Consultations de la notice

564

Téléchargements de fichiers

640