Performance evaluation of business processes through a formal transformation to SAN

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6977 LNCS, Issue , 2011, Pages 42-56

  Braghetto, Kelly Rosa ^a   Ferreira, João Eduardo ^a   Vincent, Jean Marc ^b  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

BPMN; Business Processes; Performance Evaluation; Stochastic Automata Network

Indexed keywords

ANALYTICAL PERFORMANCE; BPMN; BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT SYSTEMS; BUSINESS PROCESS MODEL; FORMAL TRANSFORMATION; LARGE SYSTEM; MARKOVIAN; MODEL VERIFICATION; NUMERICAL EVALUATIONS; OPERATIONAL PROCESS; PERFORMANCE EVALUATION; PROCESS DIAGRAM; QUALITATIVE AND QUANTITATIVE ANALYSIS; SAN MODELS; STATE-SPACE EXPLOSION; STOCHASTIC AUTOMATA NETWORKS;

FORMAL LANGUAGES; TECHNICAL PRESENTATIONS;

COMPUTER SIMULATION;

EID: 84856585754     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24749-1_5     Document Type: Conference Paper

References (11)

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)
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)
3. Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with the unified modelling language and stochastic process algebras. IEE Proceedings Computers and Digital Techniques 150(2), 107-120 (2003)
4. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology 50(12), 1281-1294 (2008)
5. Oliveira, C., Lima, R., Andre, T., Reijers, H.A.: Modeling and analyzing resource-constrained business processes. In: 2009 IEEE International Conference on Systems, Man and Cybernetics, pp. 2824-2830. IEEE Press, Los Alamitos (2009)
6. OMG: BPMN 2.0 by example, version 1.0 (non-normative) (2011)
7. OMG: Business process model and notation (BPMN), version 2.0 (2011)
8. Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. SIGMETRICS Perform. Eval. Rev. 13(2), 147-154 (1985)
9. Plateau, B., Atif, K.: Stochastic automata network for modeling parallel systems. IEEE Transactions on Software Engineering 17(10), 1093-1108 (1991)
10. Prandi, D., Quaglia, P., Zannone, N.: Formal analysis of BPMN via a translation into COWS. In: Wang, A.H., Tennenholtz, M. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 249-263. Springer, Heidelberg (2008)
11. Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355-374. Springer, Heidelberg (2008)