Workflow pattern analysis in web services orchestration: the BPEL4WS example

Authors:
Francesco Moscato;Nicola Mazzocca;Valeria Vittorini;Giusy Di Lorenzo;Paola Mosca;Massimo Magaldi
Affiliations:
Dipartimento di Ingegneria dell’Informazione, Real Casa dell’Annunziata, Seconda Università di Napoli, Aversa, (CE), Italy;Dipartimento di Informatica e Sistemistica, Università degli studi di Napoli Federico II, Napoli, Italy;Dipartimento di Informatica e Sistemistica, Università degli studi di Napoli Federico II, Napoli, Italy;Dipartimento di Informatica e Sistemistica, Università degli studi di Napoli Federico II, Napoli, Italy;Atos Origin, Pozzuoli, (Na), Italy;Atos Origin, Pozzuoli, (Na), Italy
Venue:
HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Year:
2005

Citing 2
Cited 5

The formal semantics of programming languages: an introduction

The formal semantics of programming languages: an introduction
Web Services Orchestration and Choreography

Computer

Workflow models enhanced with process algebra verification for industrial business processes

ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
QoS-aware service composition in dynamic service oriented environments

Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
QoS-aware service composition in dynamic service oriented environments

Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
Machine and business modeling and simulation for workflow integration

ACMOS'07 Proceedings of the 9th WSEAS international conference on Automatic control, modelling and simulation
Service farming: an ad-hoc and QoS-aware web service composition approach

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web Services are becoming the prominent paradigm for distributed computing and electronic business. Web services composition is an emerging paradigm for enabling application integration within and across organization boundaries and for building complex Value Added Services (VAS). Different languages are emerging to describe web services composition, but no effort has been dedicated to systematically evaluating the capabilities and limitations of these languages and to formally define their constructs semantics, in order to allow a well defined execution of pattern describing web services interactions. The work of this paper intends to analyze in-depth the Business Process Execution Language for Web Services (BPEL4WS), presenting a new methodology used to state in a formal way which workflow patterns can be executed by using the BPEL4WS constructs.