A tool for rapid development of WS-BPEL applications

Authors:
Luca Cesari;Rosario Pugliese;Francesco Tiezzi
Affiliations:
Università degli Studi di, Firenze;Università degli Studi di, Firenze;Università degli Studi di, Firenze
Venue:
ACM SIGAPP Applied Computing Review
Year:
2010

Citing 13
Cited 1

Web services: a process algebra approach

Proceedings of the 2nd international conference on Service oriented computing
Formal semantics and analysis of control flow in WS-BPEL

Science of Computer Programming
Translating unstructured workflow processes to readable BPEL: Theory and implementation

Information and Software Technology
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus

APSCC '07 Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference
Composing Services with JOLIE

ECOWS '07 Proceedings of the Fifth European Conference on Web Services
A Calculus for Generation, Verification and Refinement of BPEL Specifications

Electronic Notes in Theoretical Computer Science (ENTCS)
MDD4SOA: Model-Driven Service Orchestration

EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Model-checking Web Services Orchestrations using BP-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
A standard-driven implementaion of WS-BPEL 2.0

Proceedings of the 2010 ACM Symposium on Applied Computing
A formal account of WS-BPEL

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A feature-complete Petri net semantics for WS-BPEL 2.0

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
A formal semantics for the WS-BPEL recovery framework: the π-calculus way

WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Transforming BPEL to petri nets

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Automatic code generation for the orchestration of web services with reo

ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

WS-BPEL is imposing itself as a standard for orchestration of web services. However, there are still some well-known difficulties that make programming in WS-BPEL a tricky task. In this paper, 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 readily executable WS-BPEL programs. We illustrate our approach by means of a few practical programming examples.