SPEWS: A Framework for the Performance Analysis of Web Services Orchestrated with BPEL4WS

This paper addresses quality of service aspects of Web services (WS) orchestrations created using the business process execution language for Web services (BPEL4WS). BPEL4WS is a promising language describing the WS orchestrations in form of business processes, but it lacks of a sound formal semanti...

Full description

Saved in:

Bibliographic Details
Published in:	2009 Fourth International Conference on Internet and Web Applications and Services pp. 363 - 369
Main Authors:	Holanda, H.J.A., Barroso, G.C., de Barros Serra, A.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01-05-2009
Subjects:	BPEL Mathematical model Performance analysis Petri nets Proposals Quality of service Software performance Stochastic processes Web and internet services Web services WebService XML
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	This paper addresses quality of service aspects of Web services (WS) orchestrations created using the business process execution language for Web services (BPEL4WS). BPEL4WS is a promising language describing the WS orchestrations in form of business processes, but it lacks of a sound formal semantic, which hinders the formal analysis and verification of business processes specified in it. Formal methods, like Petri nets (PN), may provide a means to analyse BPEL4WS processes, evaluating its performance, detecting weaknesses and errors in the process model already at design-time. A framework for transformation of BPEL4WS into generalized stochastic Petri nets (GSPN) is proposed to analyse the performance and throughput of WS, based on the execution of orchestrated processes.
ISBN:	1424438519 9781424438518
DOI:	10.1109/ICIW.2009.60