Performance Evaluation of BPEL4People Specifications Integrate Human Interactions Into Business Process
Resumo
WS-BPEL Extension for People (BPEL4People) introduces human activity to Web Services Business Process Execution Language (WS-BPEL/BPEL). Some works have been done on the performance verification of WS-BPEL, but there aren't works on the performance verification of WS-BPEL4People. In this paper, we propose a model method for the transformation of WS-BPEL4People/BPEL4People into Generalized Stochastic Petri Nets (GSPN) and this way evaluate its performance. During the transformation, Petri Net is used to model BPEL activities and the human activity of a human task. Then, by validating the generated model, some potential problems with performance of WS-BPEL4People can be detected.
Palavras-chave:
Performance Evaluation, BPEL4People, Human Interactions, Business Process
Referências
Holanda, Henrique Jorge A., Barroso, Giovanni Cordeiro, Serra, Antonio de Barros (2009) “Performance Analysis of Service Oriented Software“, In: iSys – Revista Brasileira de Sistemas de Informação, Volume II, ISSN eletrônico 1984-2902,2009.
Henrique J. Holanda, G. Barroso and Antonio de B. Serra, “SOASPE: a Framework for the Performance Analysis of Service Oriented Software”, SBSI, pp.204-215, May 2009, Brasilia.
Dyer, S., Martin, J. and Zulauf, J. (2005) “Motion Capture White Paper”, http://reality.sgi.com/employees/jam_sb/mocap/MoCapWP_v2.0.html, December.
Martin Vasko, VieBOP: Extending BPEL Engines with BPEL4People, 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing Ta’id Holmes, Schahram Dustdar Distributed Systems Group, Institute of Information Systems Vienna University of Technology, 2007,Vienna, Austria.
A. Agrawal, M. Amend, M. Das, M. Ford, C. Keller, M. Kloppmannand, D. Konig, F. Leymann, R. Muller, G. Pfau, K. Plosser, R. Rangaswamy, A. Rickayzen, M. Rowley, P. Schmidt, I. Trickovic, A. Yiu, and M. Zeller, “Web Services Human Task (WS-HumanTask) “, 1st ed., Jun 2007.
E. Bertino, J. Crampton, and F. Paci. “Access control andauthorization constraints for WS-BPEL“. In ICWS 2006.
X. Zhao, A. Cerone, and P. Krishnan. “Verifying BPEL workflows under authorisation constraints“. In Proc. of BPM’06, volume 4102 of LNCS. Springer.
PE group (2006) . “GreatSPN User’s Manual (version 2.0.2) “. University of Torino, Italy. http://www.di.whito.it/greatspn
X. Fu, T. Bultan, and J. Su, “Analysis of interacting BPEL web services,” in Thirteenth International World Wide Web Conference Proceedings, WWW2004, May 2004, pp. 621–630.
D. Bianculli, C. Ghezzi, and P. Spoletini, “A model checking approach to verify BPEL4WS workflows,” in IEEE International Conference on Service-OrientedComputing and Applications, 2007, pp. 13–20.
Henrique J. Holanda, G. Barroso and Antonio de B. Serra, “SOASPE: a Framework for the Performance Analysis of Service Oriented Software”, SBSI, pp.204-215, May 2009, Brasilia.
Dyer, S., Martin, J. and Zulauf, J. (2005) “Motion Capture White Paper”, http://reality.sgi.com/employees/jam_sb/mocap/MoCapWP_v2.0.html, December.
Martin Vasko, VieBOP: Extending BPEL Engines with BPEL4People, 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing Ta’id Holmes, Schahram Dustdar Distributed Systems Group, Institute of Information Systems Vienna University of Technology, 2007,Vienna, Austria.
A. Agrawal, M. Amend, M. Das, M. Ford, C. Keller, M. Kloppmannand, D. Konig, F. Leymann, R. Muller, G. Pfau, K. Plosser, R. Rangaswamy, A. Rickayzen, M. Rowley, P. Schmidt, I. Trickovic, A. Yiu, and M. Zeller, “Web Services Human Task (WS-HumanTask) “, 1st ed., Jun 2007.
E. Bertino, J. Crampton, and F. Paci. “Access control andauthorization constraints for WS-BPEL“. In ICWS 2006.
X. Zhao, A. Cerone, and P. Krishnan. “Verifying BPEL workflows under authorisation constraints“. In Proc. of BPM’06, volume 4102 of LNCS. Springer.
PE group (2006) . “GreatSPN User’s Manual (version 2.0.2) “. University of Torino, Italy. http://www.di.whito.it/greatspn
X. Fu, T. Bultan, and J. Su, “Analysis of interacting BPEL web services,” in Thirteenth International World Wide Web Conference Proceedings, WWW2004, May 2004, pp. 621–630.
D. Bianculli, C. Ghezzi, and P. Spoletini, “A model checking approach to verify BPEL4WS workflows,” in IEEE International Conference on Service-OrientedComputing and Applications, 2007, pp. 13–20.
Publicado
16/06/2010
Como Citar
HOLANDA, Henrique Jorge; MERSEGUER, José Javier; BARROSO, Giovanni Cordeiro; SERRA, A. B..
Performance Evaluation of BPEL4People Specifications Integrate Human Interactions Into Business Process. In: SIMPÓSIO BRASILEIRO DE SISTEMAS DE INFORMAÇÃO (SBSI), 6. , 2010, Marabá.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2010
.
p. 178-189.
DOI: https://doi.org/10.5753/sbsi.2010.14711.
