Quantifying the Parallelism in BPMN Processes using Model Checking

Radu Mateescu 1 Gwen Salaün 1 Lina Ye 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : A business process is a set of structured, related activities that aims at fulfilling a specific organizational goal for a customer or market. An important metric when developing a business process is its degree of parallelism, i.e., the maximum number of tasks that are executable in parallel in that process. The degree of parallelism determines the peak demand on tasks, providing a valuable guide for the problem of resource allocation in business processes. In this paper, we investigate how to automatically measure the degree of parallelism for business processes, described using the BPMN standard notation. We first present a formal model for BPMN processes in terms of Labelled Transition Systems, which are obtained through process algebra encodings. We then propose an approach for automatically computing the degree of parallelism by using model checking techniques and dichotomic search. We implemented a tool for automating this check and we applied it successfully to more than one hundred BPMN processes.
Type de document :
Communication dans un congrès
The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. 2014
Liste complète des métadonnées


https://hal.inria.fr/hal-01016412
Contributeur : Gwen Salaün <>
Soumis le : lundi 30 juin 2014 - 11:11:48
Dernière modification le : mercredi 7 octobre 2015 - 01:16:28
Document(s) archivé(s) le : mardi 30 septembre 2014 - 15:10:57

Fichier

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

Identifiants

  • HAL Id : hal-01016412, version 1

Collections

Citation

Radu Mateescu, Gwen Salaün, Lina Ye. Quantifying the Parallelism in BPMN Processes using Model Checking. The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. 2014. <hal-01016412>

Partager

Métriques

Consultations de
la notice

559

Téléchargements du document

225