An operational semantics of BPEL orchestrations integrating web services resource framework

Authors:
José Antonio Mateo;Valentín Valero;Gregorio Díaz
Affiliations:
Informatics Research Institute of Albacete, University of Castilla-La Mancha, Albacete, Spain;Informatics Research Institute of Albacete, University of Castilla-La Mancha, Albacete, Spain;Informatics Research Institute of Albacete, University of Castilla-La Mancha, Albacete, Spain
Venue:
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Year:
2011

Citing 12
Cited 0

On using BPEL extensibility to implement OGSI and WSRF Grid workflows: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Choreography for the Grid: towards fitting BPEL to the resource framework: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Formal semantics and analysis of control flow in WS-BPEL

Science of Computer Programming
The Orc Programming Language

FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A calculus for orchestration of web services

ESOP'07 Proceedings of the 16th European conference on Programming
Implementing session centered calculi

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
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
A formal support to business and architectural design for service-oriented systems

Rigorous software engineering for service-oriented systems
Choreography and orchestration: a synergic approach for system design

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Semantics of BPEL4WS-Like fault and compensation handling

FM'05 Proceedings of the 2005 international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web service compositions are gaining increasingly attention for the development of complex web systems by combination of existing ones. In this paper, we present a formal framework that integrates a well-known business process language (BPEL) with a recent technology for describing distributed resources throughout the Internet (WSRF). We define an operational semantics for a language that integrates both approaches taking into account the main features of them, such as notifications, event handling, fault handling and timed constraints.