Performance evaluation of re source-aware business processes using Stochastic Automata Networks

International Journal of Innovative Computing, Information and Control

Volumn 8, Issue 7 B, 2012, Pages 5295-5316

  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

Business processes; Performance evaluation; Stochastic automata networks; Stochastic modeling

Indexed keywords

AVERAGE THROUGHPUT; AVERAGE WAITING-TIME; BUSINESS PROCESS; BUSINESS PROCESS MODEL; PERFORMANCE EVALUATION; PERFORMANCE INDICES; RESOURCE AWARE; RESOURCE CONSTRAINT; RESOURCE MANAGEMENT; SAN MODELS; SHOW THROUGH; STOCHASTIC AUTOMATA NETWORKS; STOCHASTIC MODELING; UTILIZATION RATES; WORKLOAD CHARACTERIZATION;

NATURAL RESOURCES MANAGEMENT; OPTIMAL SYSTEMS; RESOURCE ALLOCATION; SPECIFICATIONS;

INFORMATION MANAGEMENT;

EID: 84862327365     PISSN: 13494198     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. T. Altiok and B. Melamed, Simulation Modeling and Analysis with Arena, Academic Press, 2007.
2. G. Balbo, Introduction to generalized stochastic Petri nets, Proc. of the 7th Int. Conf. on Formal Methods for Performance Evaluation, Bertinoro, Italy, pp.83-131, 2007.
3. K. R. Braghetto et al., Performance analysis modeling applied to business processes, Proc. of 2010 Spring Simulation Multiconference, Orlando, FL, USA, pp.122:1-122:8, 2010.
4. K. R. Braghetto et al., Performance evaluation of business processes through a formal transformation to SAN, Proc. of the 8th European Performance Engineering Wksp, Borrowdale, UK, pp.42-56, 2011.
5. L. Brenner et al., The need for and the advantages of generalized tensor algebra for Kronecker structured representations, Int. J. Simul. Syst. Sci. Technol., vol.6, no.3-4, pp.52-60, 2005.
6. L. Brenner et al., PEPS2007-Stochastic automata networks software tool, Proc. of the 4th Int. Conf. on the Quantitative Evaluation of Systems, Edinburgh, UK, pp.163-164, 2007.
7. C. Canevet et al., Performance modelling with the unified modelling language and stochastic process algebras, IEE Proc. of Comput. Digit. Tech., vol.150, no.2, pp.107-120, 2003.
8. A. Clark et al., Stochastic process algebras, Proc. of the 7th Int. Conf. on Formal Methods for Performance Evaluation, Bertinoro, Italy, pp.132-179, 2007.
9. R. M. Dijkman et al., Semantics and analysis of business process models in BPMN, Inf. Softw. Technol., vol.50, no. 12, pp. 1281-1294, 2008.
10. H. Eshuis, Semantics and Verification of UML Activity Diagrams for Workflow Modelling, Ph.D. Thesis, University of Twente, 2002.
11. G. Florin et al., Stochastic Petri nets: Properties, applications and tools, Microelectron. Reliab., vol.31, no.4, pp.669-697, 1991.
12. P. J. Fortier and H. E. Michel, Computer Systems Performance Evaluation and Prediction, Digital Press, Newton, MA, USA, 2003.
13. J. Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, New York, NY, USA, 1996.
14. R. Jain, The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling, Wiley, New York, NY, USA, 1991.
15. M. H. Jansen-Vullers and M. Netjes, Business process simulation A tool survey, Proc. of the 7th Wksp and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, pp.80-96, 2006.
16. E. D. Lazowska et al., Quantitative System Performance: Computer System Analysis Using Queueing Network Models, Prentice-Hall, Upper Saddle River, NJ, USA, 1984.
17. OMG, Business Process Model and Notation (BPMN), Version 2.0, 2010.
18. B. Plateau, On the stochastic structure of parallelism and synchronization models for distributed algorithms, SIGMETRICS Perform. Eval. Rev., vol. 13, no.2, pp.147-154, 1985.
19. B. Plateau and K. Atif, Stochastic automata network for modeling parallel systems, IEEE Trans. Software Eng., vol.17, no.10, pp.1093-1108, 1991.
20. D. Prandi et al., Formal analysis of BPMN via a translation into COWS, Proc. of the 10th Int. Conf. on Coordination Models and Languages, Oslo, Norway, pp.249-263, 2008.
21. C. H. Sauer and K. M. Chandy, Computer Systems Performance Modeling, Prentice Hall, Englewood Cliffs, NJ, USA, 1981.
22. W. M. P. van der Aalst, Formalization and verification of event-driven process chains, Inf. Softw. Technol., vol.41, no.10, pp.639-650, 1999.