Logo eprints

A Calculus for Orchestration of Web Services

Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. Journal of Applied Logic, 10 (1). pp. 2-31. ISSN 1570-8683 (2012)

Download (521kB) | Preview


Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce CWS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that CWS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that CWS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it.

Item Type: Article
Identification Number: 10.1016/j.jal.2011.11.002
Uncontrolled Keywords: Service-oriented computing; Formal methods; Process calculi
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 31 not found.
Date Deposited: 02 May 2013 14:08
Last Modified: 02 May 2013 14:08
URI: http://eprints.imtlucca.it/id/eprint/1562

Actions (login required)

Edit Item Edit Item