{"id":{"repo_id":"whiterose","oai_identifier":"oai:etheses.whiterose.ac.uk:1723"},"canonical_url":"https://search.dev.ndltd.org/etd/whiterose/oai:etheses.whiterose.ac.uk:1723","repository":{"repo_id":"whiterose","name":"White Rose University Consortium","base_url":"https://etheses.whiterose.ac.uk/cgi/oai2"},"display":{"title":"A Compositional Semantic Theory for Service Composition","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Foster, Simon"],"institution":"University of Sheffield","degree_name":"Ph.D","degree_level":"doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Stannett, Mike"],"committee_chairs":[],"committee_members":[],"year":2010,"date_issued":"2010-01","date_published":"2010-01","updated_at":"2026-07-24T06:05:10Z","subjects":[],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["uk.bl.ethos.522015"],"render_values":[{"text":"uk.bl.ethos.522015","href":null,"code":true}]}]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Stannett, Mike"]},{"key":"dc:creator","label":"Author","values":["Foster, Simon"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2010-01"]},{"key":"dc:date.issued","label":"Date","values":["2010-01"]},{"key":"dc:publisher.commercial","label":"Dc Publisher Commercial","values":["University of Sheffield"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["Computer Science (Sheffield)"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Sheffield"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://etheses.whiterose.ac.uk/id/eprint/1723/"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Ph.D"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["uk.bl.ethos.522015"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://etheses.whiterose.ac.uk/id/eprint/1723/2/Foster%2C_Simon.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:format","label":"Dc Format","values":["text"]},{"key":"dc:title","label":"Title","values":["A Compositional Semantic Theory for Service Composition"]}]}],"canonical_facts":{"dc:contributor.advisor":["Stannett, Mike"],"dc:creator":["Foster, Simon"],"dc:date":["2010-01"],"dc:date.issued":["2010-01"],"dc:description.abstract":["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."],"dc:format":["text"],"dc:identifier":["uk.bl.ethos.522015"],"dc:identifier.uri":["https://etheses.whiterose.ac.uk/id/eprint/1723/2/Foster%2C_Simon.pdf"],"dc:publisher.commercial":["University of Sheffield"],"dc:publisher.department":["Computer Science (Sheffield)"],"dc:publisher.institution":["University of Sheffield"],"dc:relation.isreferencedby":["https://etheses.whiterose.ac.uk/id/eprint/1723/"],"dc:title":["A Compositional Semantic Theory for Service Composition"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["doctoral"],"dc:type.qualificationname":["Ph.D"]},"updated_at":"2026-07-24T06:05:10Z"}