White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

A Compositional Semantic Theory for Service Composition

Foster, Simon (2010) A Compositional Semantic Theory for Service Composition. PhD thesis, University of Sheffield.

Text (Thesis text)
Available under License Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 UK: England & Wales.

Download (2074Kb)


Service Composition refers to a popular modern software paradigm for building applications by combining distributed reactive components using the World-Wide-Web as the medium. The approach is characterised by the use of standardised protocols, languages and representations such as XML, which ensures that services are platform agnostic. Whilst the architecture is well understood for simple single-interaction services built in the style of classical procedures from the traditional programming paradigm, much discussion is still taking place with regard to more complicated, fully reactive services, where the consumer interacts in a stateful manner. The aim of this Thesis is to investigate the way in which composite Web services are built, and provide a useful semantic theory for service composition. Inspiration for this comes from several sources, including existing technologies such as WS-BPEL and WSMO, and the workflow patterns research, which defines a diverse collection of control-flow patterns which should be provided by a service composition language. My approach to service composition is based on Abstract Timed Process Calculus. Core to this approach is compositionality – a Web service model must be semantically decomposable to allow component manipulation. An Abstract Timed Process Calculus allows elegant modelling of component systems through a variety of synchronisation patterns such as isochronic broadcast. In this work I will seek to advance this area by constructing a novel timed process calculus which seeks to surpass previous calculi. This calculus will form the underlying meta-model for a semantic theory for a service composition language called Cashew-A. The semantic theory will be useful for both verification and execution of composite Web services.

Item Type: Thesis (PhD)
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Computer Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > Computer Science (Sheffield)
Identification Number/EthosID: uk.bl.ethos.522015
Depositing User: Dr Simon Foster
Date Deposited: 19 Oct 2011 10:28
Last Modified: 27 Apr 2016 14:09
URI: http://etheses.whiterose.ac.uk/id/eprint/1723

You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.

Actions (repository staff only: login required)