A tool for rapid development of WS-BPEL applications

Authors:
Luca Cesari;Alessandro Lapadula;Rosario Pugliese;Francesco Tiezzi
Affiliations:
Università degli Studi di Firenze;Università degli Studi di Firenze;Università degli Studi di Firenze;Università degli Studi di Firenze
Venue:
Proceedings of the 2010 ACM Symposium on Applied Computing
Year:
2010

Citing 3
Cited 2

Composing Services with JOLIE

ECOWS '07 Proceedings of the Fifth European Conference on Web Services
MDD4SOA: Model-Driven Service Orchestration

EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
A formal account of WS-BPEL

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages

Using formal methods to develop WS-BPEL applications

Science of Computer Programming
Programming services with correlation sets

ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present BliteC, a software tool we have developed for supporting a rapid and easy development of WS-BPEL applications. BliteC translates service orchestrations written in Blite, a formal language inspired to but simpler than WS-BPEL, into executable WS-BPEL programs. We illustrate our approach by means of an example borrowed from the official specification of WS-BPEL.