VBPMN: Automated Verification of BPMN Processes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

VBPMN: Automated Verification of BPMN Processes

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (883.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01591665 , version 1 (21-09-2017)

Identifiants

  • HAL Id : hal-01591665 , version 1

Citer

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⟩
710 Consultations
1486 Téléchargements

Partager

Gmail Facebook X LinkedIn More