We propose a model for the behaviour of Web apps in the unreliable WWW. Web apps are described by orchestrations. An orchestration mimics the personal use of the Web by defining the way in which Web services are invoked. The WWW is unreliable as poorly maintained Web sites are prone to fail. We model this source of unreliability trough a probabilistic approach. We assume that each site has a probability to fail. Another source of uncertainty is the traffic congestion. This can be observed as a non-deterministic behaviour induced by the variability in the response times. We model non-determinism by imprecise probabilities. We develop here an ex-ante normal to characterize the behaviour of finite orchestrations in the unreliable Web. We show the existence of a normal form under such semantics for orchestrations using asymmetric parallelism.


Web apps Orchestrations Orc Imprecise probabilities Normal forms 


  1. 1.
    W3C, Web Services Glossary.
  2. 2.
    Akerlof, G., Schiller, R.: Animal Spirits. Princeton University Press, Princeton and Oxford (2009)Google Scholar
  3. 3.
    Augustin, T., Coolen, F., Cooman, G., Troffaes, M.: Introduction to Imprecise Probabilities. Wiley (2014).
  4. 4.
    Berners-Lee, T., Cailliau, R., Luotonen, A., Nielsen, H.F., Secret, A.: The world-wide web. Commun. ACM 37(8), 76–82 (1994). Scholar
  5. 5.
    Dean, J., Barroso, L.: The tail at scale. Commun. ACM 56(2), 74–80 (2013). Scholar
  6. 6.
    Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (ed.) Proceedings of Symposium on Applied Mathematical Aspects of Computer Science, pp. 19–32. American Mathematical Society (1967)Google Scholar
  7. 7.
    Gabarro, J., Leon-Gaixas, S., Serna, M.: The computational complexity of QoS measures for orchestrations. J. Comb. Optim. 34(4), 1265–1301 (2017). Scholar
  8. 8.
    Gabarro, J., Serna, M., Stewart, A.: Analysing web-orchestrations under stress using uncertainty profiles. Comput. J. 57(11), 1591–1615 (2014). Scholar
  9. 9.
    Galbraith, J.K.: The Age of Uncertainty. Houghhton Miffin Company, Boston (1977)Google Scholar
  10. 10.
    Hoare, C.: Communicating Sequential Processes. Prentice-Hall, London (1985)zbMATHGoogle Scholar
  11. 11.
    Kitchin, D., Quark, A., Cook, W., Misra, J.: The orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS/FORTE -2009. LNCS, vol. 5522, pp. 1–25. Springer, Heidelberg (2009). Scholar
  12. 12.
    Knight, F.: Risk, Uncertainty and Profit. Houghton Mifflin, Boston and New York (1921).
  13. 13.
    McIver, A., Morgan, C.: Abstraction, Refinement and Proof for Probabilistic Systems. Springer, New York (2005). Scholar
  14. 14.
    Misra, J., Cook, W.: Computation orchestration: a basis for wide-area computing. Softw. Syst. Model. 6(1), 83–110 (2007). Scholar
  15. 15.
    Morgan, C., Mclver, A., Sanders, J.W.: Probably Hoare? Hoare probably!. In: Davies, J.W., Roscoe, B., Woodcock, J. (eds.) Millennial Perspectives in Computer Science, pp. 271–282. Palgrave, Basingstoke (2000)Google Scholar
  16. 16.
    von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behavior, 60th Anniversary Commemorative Edition. Princeton University Press, Princeton and Oxford (1953)Google Scholar
  17. 17.
    Peltz, C.: Web services orchestration and choreography. IEEE Comput. 36(10), 46–52 (2003). Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.ALBCOM, CS DepartmentUniversitat Politècnica de CatalunyaBarcelonaSpain

Personalised recommendations