Performance Evaluation of Business Processes through a Formal Transformation to SAN

Kelly Rosa Braghetto 1 Joao Eduardo Ferreira 1 Jean-Marc Vincent 2
2 MESCAL - Middleware efficiently scalable
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : The qualitative and quantitative analysis of operational processes recently started to receive special attention with the business process management systems. But the Business Process Model and Notation (BPMN), the standard representation of business processes, is not the most appropriate kind of model to support the analysis phase. Most of the works proposing mappings from BPMN to formal languages aim model verifi cation, but few are directed to quantitative analysis. In this work, we state that a well-de fined BPMN Process diagram can originate a {St}ochastic Automata Network (SAN) a compositionally built stochastic model. More than support verification, SAN provides a numerical evaluation of processes\' performance. SAN attenuates the state-space explosion problem associated with other Markovian formalisms and is used to model large systems. We defined an algorithm that automatically converts BPMN diagrams to SAN models. With these SAN models, we make analytical performance evaluations of business processes.
Type de document :
Communication dans un congrès
Proceedings of the 8th European Performance Engineering Workshop (EPEW 2011), 2011, Borrowdale, United Kingdom. Springer, 6977, pp.42 - 56, 2011, LNCS. 〈10.1007/978-3-642-24749-1_5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00788798
Contributeur : Arnaud Legrand <>
Soumis le : vendredi 15 février 2013 - 11:16:41
Dernière modification le : mercredi 14 décembre 2016 - 01:09:20

Identifiants

Collections

Citation

Kelly Rosa Braghetto, Joao Eduardo Ferreira, Jean-Marc Vincent. Performance Evaluation of Business Processes through a Formal Transformation to SAN. Proceedings of the 8th European Performance Engineering Workshop (EPEW 2011), 2011, Borrowdale, United Kingdom. Springer, 6977, pp.42 - 56, 2011, LNCS. 〈10.1007/978-3-642-24749-1_5〉. 〈hal-00788798〉

Partager

Métriques

Consultations de la notice

198