European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

ECSQARU 2015: Symbolic and Quantitative Approaches to Reasoning with Uncertainty pp 141-150 | Cite as

Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance

  • Alan Stewart
  • Joaquim Gabarro
  • Anthony Keenan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9161)


Uncertainty profiles are used to study the effects of contention within cloud and service-based environments. An uncertainty profile provides a qualitative description of an environment whose quality of service (QoS) may fluctuate unpredictably. Uncertain environments are modelled by strategic games with two agents; a daemon is used to represent overload and high resource contention; an angel is used to represent an idealised resource allocation situation with no underlying contention. Assessments of uncertainty profiles are useful in two ways: firstly, they provide a broad understanding of how environmental stress can effect an application’s performance (and reliability); secondly, they allow the effects of introducing redundancy into a computation to be assessed.


Uncertainty Web-service Orchestration ORC Cloud Virtualization Amazon EC2 Resource contention Performance Reliability Game theory 


  1. 1.
    Benveniste, A., Jard, C., Kattepur, A., Rosario, S., Thywissen, J.A.: Qos-aware management of monotonic service orchestrations. Formal Methods Syst. Des. 44(1), 1–43 (2014)CrossRefzbMATHGoogle Scholar
  2. 2.
    Cook, W.R., Patwardhan, S., Misra, J.: Workflow patterns in Orc. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 82–96. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Gabarro, J., Serna, M., Stewart, A.: Web services and incerta spiriti: a game theoretic approach to uncertainty. In: Liu, W. (ed.) ECSQARU 2011. LNCS, vol. 6717, pp. 651–662. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  4. 4.
    Gabarro, J., Serna, M., Stewart, A.: Analysing web-orchestrations under stress using uncertainty profiles. Comput. J. 57(11), 1591–1615 (2014)CrossRefGoogle Scholar
  5. 5.
    Jiang, A.X., Jain, M., Tambe, M.: Computational game theory for security and sustainability. JIP 22(2), 176–185 (2014)Google Scholar
  6. 6.
    Keenan, A.: Orchestrating hight performance services: theory and practice. Ph.D. Thesis (2014)Google Scholar
  7. 7.
    Misra, J., Cook, W.R.: Computation orchestration: a asis for wide-area computing. Softw. Syst. Model. 6(1), 83–110 (2007)CrossRefGoogle Scholar
  8. 8.
    Harmer, T., Keenan, A., Stewart, A., Wright, p, Sun, Y.L., Perrott, R.: A constraints-based resource discovery model for multi-provider cloud environments. J. Cloud Comput. Adv. Syst. Appl. 1, 1–14 (2012)CrossRefGoogle Scholar
  9. 9.
    Waldspurger, C.A., Rosenblum, M.: I/O virtualization. Commun. ACM 55(1), 66–73 (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.School of EEECSThe Queen’s University of BelfastBelfastNorthern Ireland, UK
  2. 2.ALBCOM Research Group, Department of CSBarcelona TechBarcelonaSpain

Personalised recommendations