Performance Evaluation of Business Processes through a Formal Transformation to SAN
- 456 Downloads
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 verification, but few are directed to quantitative analysis. In this work, we state that a well-defined BPMN Process diagram can originate a Stochastic 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.
KeywordsBusiness Processes BPMN Performance Evaluation Stochastic Automata Network
Unable to display preview. Download preview PDF.
- 1.Braghetto, K.R., Ferreira, J.a.E., Vincent, J.M.: Performance analysis modeling applied to business processes. In: 2010 Spring Simulation Multiconference, pp. 122:1–122:8. SCS/ACM, New York (2010)Google Scholar
- 2.Brenner, L., Fernandes, P., Plateau, B., Sbeity, I.: PEPS2007 - stochastic automata networks software tool. In: 4th International Conference on Quantitative Evaluation of Systems, pp. 163–164. IEEE Computer Society, Washington (2007)Google Scholar
- 6.OMG: BPMN 2.0 by example, version 1.0 (non-normative) (2011)Google Scholar
- 7.OMG: Business process model and notation (BPMN), version 2.0 (2011)Google Scholar