Advertisement

Abstract

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.

Keywords

Web apps Orchestrations Orc Imprecise probabilities Normal forms 

References

  1. 1.
    W3C, Web Services Glossary. http://www.w3.org/TR/ws-gloss/
  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).  https://doi.org/10.1002/9781118763117
  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).  https://doi.org/10.1145/179606.179671CrossRefGoogle Scholar
  5. 5.
    Dean, J., Barroso, L.: The tail at scale. Commun. ACM 56(2), 74–80 (2013).  https://doi.org/10.1145/2408776.2408794CrossRefGoogle 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).  https://doi.org/10.1007/s10878-017-0146-9MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Gabarro, J., Serna, M., Stewart, A.: Analysing web-orchestrations under stress using uncertainty profiles. Comput. J. 57(11), 1591–1615 (2014).  https://doi.org/10.1093/comjnl/bxt063CrossRefGoogle 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).  https://doi.org/10.1007/978-3-642-02138-1_1CrossRefGoogle Scholar
  12. 12.
    Knight, F.: Risk, Uncertainty and Profit. Houghton Mifflin, Boston and New York (1921). http://www.econlib.org/library/Knight/knRUP.html
  13. 13.
    McIver, A., Morgan, C.: Abstraction, Refinement and Proof for Probabilistic Systems. Springer, New York (2005).  https://doi.org/10.1007/b138392CrossRefzbMATHGoogle Scholar
  14. 14.
    Misra, J., Cook, W.: Computation orchestration: a basis for wide-area computing. Softw. Syst. Model. 6(1), 83–110 (2007).  https://doi.org/10.1007/s10270-006-0012-1CrossRefGoogle 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).  https://doi.org/10.1109/MC.2003.1236471CrossRefGoogle 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