Sciweavers

Share
EPEW
2005
Springer

Timing Issues in Web Services Composition

9 years 6 months ago
Timing Issues in Web Services Composition
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized mechanism for events raising and catching. In this paper we encode Berger-Honda Timed-π in webπ timed workunits and we prove a simulation theorem. The overall perspective of this work is to make webπ comparable with both real composition languages and well established models for distributed components.
Manuel Mazzara
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EPEW
Authors Manuel Mazzara
Comments (0)
books