Formal semantics and expressiveness of a web service composition language

Authors:
Marcelo Guerra Hahn;Regina Motz;Alberto Pardo;Martin A. Musicante
Affiliations:
Microsoft Corporation, Redmond;InCo - UdelaR, Montevideo, Uruguay;InCo - UdelaR, Montevideo, Uruguay;DIMAp - UFRN, Natal-RN, Brazil
Venue:
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Year:
2013

Citing 4
Cited 0

The formal semantics of programming languages: an introduction

The formal semantics of programming languages: an introduction
Predicate path expressions

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Workflow Patterns

Distributed and Parallel Databases
A programming environment for web services

Proceedings of the 2008 ACM symposium on Applied computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web Services have become the standard for exposing services on the Internet. Since many operations require the collaboration between two or more services, the need to have languages to express Web Services compositions has emerged. In this paper, we focus on PEWS, a Web Service composition language. We present an operational semantics of PEWS and propose some minor extensions to it in order to support most common workflow patterns. The extended version of PEWS is able to fully support 36 out of the 43 control-flow patterns as defined in the literature, compared to 17 fully supported by the industry standard BPEL.