Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty

Joaquim Gabarro, Maria Serna, Alan Stewart

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)


A web-service is a remote computational facility which is made available for general use by means of the internet. An orchestration is a multi-threaded computation which invokes remote services. In this paper game theory is used to analyse the behaviour of orchestration evaluations when underlying web-services are unreliable. Uncertainty profiles are proposed as a means of defining bounds on the number of service failures that can be expected during an orchestration evaluation. An uncertainty profile describes a strategic situation that can be analyzed using a zero-sum angel-daemon game with two competing players: an angel a whose objective is to minimize damage to an orchestration and a daemon d who acts in a destructive fashion. An uncertainty profile is assessed using the value of its angel daemon game. It is shown that uncertainty profiles form a partial order which is monotonic with respect to assessment.
Original languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Reasoning with Uncertainty
Subtitle of host publication11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
Number of pages12
ISBN (Electronic)978-3-642-22152-1
ISBN (Print)978-3-642-22151-4
Publication statusPublished - Jul 2011
EventECSQARU 2011 - Belfast, United Kingdom
Duration: 29 Jun 201101 Jul 2011


ConferenceECSQARU 2011
Country/TerritoryUnited Kingdom

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science


Dive into the research topics of 'Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty'. Together they form a unique fingerprint.

Cite this