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.

• Type: Conference
• Year: 2005
• Where: EPEW
• Authors: Manuel Mazzara
• Keywords: EPEW 2005, Timed Workunits, Web Services Composition, Webπ Timed Workunits