PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications

Proceedings of the 2012 6th International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2012

Volumn , Issue , 2012, Pages 64-73

  Barbierato, Enrico ^a   Iacono, Mauro ^b   Marrone, Stefano ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b SECOND UNIVERSITY OF NAPLES   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TRANSLATION; GRAPH-BASED; MODELING AND ANALYSIS; NON FUNCTIONAL PROPERTIES; PERFORMANCE ANALYSIS; PERFORMANCE EVALUATION; PERFORMANCE MODELING; SERVICES COMPOSITION;

MARKOV PROCESSES; SERVICE ORIENTED ARCHITECTURE (SOA);

INFORMATION SERVICES;

EID: 84871903685     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/icst.valuetools.2012.250340     Document Type: Conference Paper

References (31)

1. E. Barbierato, M. Gribaudo, and M. Iacono. Defining formalisms for performance evaluation with SIMTHESys. Electl: Notes Theor. Comput. Sci., 275: 3 7-51, 2011.
2. E. Barbierato, M. Gribaudo, and M. Iacono. Exploiting multiformalism models for testing and performance evaluation in SIMTHESys. In Proceedings of 5th International ICST Conference on Performance Evaluation Methodologies and Tools - VAL UETOOLS 2011. ICST, 2011.
3. E. Barbierato, M. Gribaudo, M. Iacono, and S. Marrone. Performability modeling of exceptions-aware systems in multiformalism tools. In18th International Conference on Analytical and Stochastic Modelling Techniques and Applications - ASMTA 2011, pages 257-272, 2011.
4. G. Ciardo, R. L. Jones, Ill, A. S. Miner, and R. J. Siminiceanu. Logic and stochastic modeling with smart. Peiform. Eva!., 63: 578-608, June 2006.
5. G. Ciardo and A. S. Miner. Smart: The stochastic model checking analyzer for reliability and timing. Quantitative Evaluation of Systems. International Conference on, 0: 3 3 8-3 39, 2004.
6. T. Courtney, S. Derisavi, S. Gaonkar, M. Griffith, V. Lam, M. McQuinn, E. Rozier, and W. H. Sanders. The Mobius modeling environment: Recent extensions - 2005. Quantitative Evaluationof Systems, International Conference on, 0:259-260, 2005.
7. T. Courtney, S. Gaonkar, K. Keefe, E. Rozier, and w.H. Sanders. Mobius 2.3: An extensible tool for dependability, security, and performance evaluationof large and complex system models. In DSN, pages 353-358, 2009.
8. D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster. The Mobius framework and its implementation.
9. X. Deng, Z. Lin, W. Cheng, R. Xiao, L. Fang, and L. Li. Modeling web service choreography and orchestration with colored petri nets. Software Engineering, Artificial Intelligence, Networking, and Parallel/ Distributed Computing, ACIS International Conference on, 2: 838-843, 2007.
10. G. Diaz, J. J. Pardo, M. E. Cambronero, V. Valero, and F. Cuartero. Verificationof web services with timed automata. Electron. Notes TheOl: Comput. SCi., 157(2):19-34, May 2006.
11. T. Erl. Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River, NJ, USA, 2005.
12. A. Alves et al. Web services business process execution language version 2.0. oasis standard, 2007.
13. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, N. Mazzocca, and V. Vittorini. Compositional modeling of complex systems: Contact center scenarios inosMoSys. In J. Cortadella and W. Reisig, editors, ICATPN, volume 3099 of Lecture Notes in Computer Science, pages 17 7-19 6. Springer, 2004.
14. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, N. Mazzocca, and V. Vittorini. Compositional modeling of complex systems: Contact center scenarios inosMoSys. In Cortadella, J. and Reisig, W, editor, Applications and theOlY of Petri nets 2004, Proceedings, volume 3099 of LNCS, pages 177-196, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, 2004. SPRINGER-VERLAG BERLIN.
15. S. T. Gilmore and M. Tribastone. Evaluating the scalability of a web service-based distributed e-Iearning and course management system. In WS-FM, pages 214-226, 2006.
16. S. Hinza, K. Schmidt, and C. Stahl. Transforming BPEL to Petri Nets. In Proceedings of the 3rd Int 'l Coriference on Business Process Management (BPM 2005), pages 220-2 3 5. Springer Verlag, 2005.
17. H.J.A Holanda, J. Merseguer, G. Cordeiro, and A B. Serra. Performance evaluationof web services orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications, 2: 18, I1120 I 0 2010.
18. M. Iacono, E. Barbierato, and M. Gribaudo. The SIMTHESys multiformalism modeling framework. Computers and Mathematics with Applications, (0):-, 2012.
19. M. Iacono and M. Gribaudo. Element based semantics in multi formalism performance models. In18th Annual IEEEIACM International Symposium on Modeling, Analysis and Simulationof Computer and Telecommunication Systems - MASCOTS 2010, pages 413-416. IEEE, 2010.
20. M. Iacono and S. Marrone. A performance driven modelling approach for soa based application. In ESM '08: Proc. of European Simulation and Modelling Coriference (ESMc), Le Havre, France, 2008. EURO S I S.
21. C. Koch. A new blueprint for the enterprise. CIa Magazine, 2005.
22. N. Lohmann. A feature-complete Petri net semantics for WS-BPEL 2. 0. In M. Dumas and R. Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007, Brisbane, Australia. September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer SCience, pages 77-91. Springer-Verlag, 2008.
23. N. Lohmann, H.M.W Verbeek, C. Ouyang, and C. Stahl. Comparing and evaluating Petri net semantics for BPEL. International Journal of Business Process Integration and Management, 4 (1): 60-7 3, 2009.
24. F. Martinelli and J. Matteucci. Synthesis of web services orchestrators in a timed setting. In Proceedings of the 4th international coriference on Web services and formal methods, WS-FM'07, pages 124-13 8, Berlin, Heidelberg, 2008. Springer-Verlag.
25. F. Moscato, F. Flammini, G. Di Lorenzo, V. Vittorini, S. Marrone, and M. Iacono. The software architecture of the OsMoSys multisolution framework. In Value Tools '07: Proceedings of the 2nd international coriference on Peljormance evaluation methodologies and tools, pages 1-10, 2007.
26. M.P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann. Service Oriented Computing: A Research Roadmap. International Journal of Cooperative Information Systems, 17(02): 223+, 2008.
27. A Tahamtan, C. Oesterle, AM. Tjoa, and A Hameurlain. BPEL-TIME - WS-BPEL time management extension. In ICEIS (3), pages 34-4 5, 2011.
28. K. S. Trivedi. Sharpe 2002: Symbolic hierarchical automated reliability and performance evaluator. In DSN '02: Proceedings of the 2002 International Conference on Dependable Systems and Networks, page 544, Washington, DC, USA, 2002. IEEE Computer Society.
29. WM.P. van der Aalst. The applicationof Petri Nets to workflow management. The Journal of Circuits, Systems and Computers, 8 (1): 21-66, 1998.
30. V. Vittorini, M. Iacono, N. Mazzocca, and G. Franceschinis. The OsMoSys approach to multi-formalism modeling of systems. Software and System Modeling, 3 (1): 6 8-81, 2004.
31. J. Xia and C.K. Chang. Performance-driven service selection using stochastic CPN. In J V Atanasoff Int. Symposium on Modern Computing (JVA 2006), pages 99-104, Sofia, Bulgaria, 2006. IEEE.