iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/978-3-319-91476-3_19
Web Apps and Imprecise Probabilitites | SpringerLink
Skip to main content
Springer Nature Link
Log in

Web Apps and Imprecise Probabilitites

  • Conference paper
  • First Online:
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations (IPMU 2018)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 854))

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.

J. Castro was partially supported by the Spanish Ministry for Economy and Competitiveness (MINECO) under grant (TIN2017-89244-R) and the recognition 2017 SGR-856 (MACDA) from AGAUR (Generalitat de Catalunya). J. Gabarro and M. Serna were partially supported by MINECO and FEDER funds under grant GRAMM (TIN2017-86727-C2-1-R) and Generalitat de Catalunya, Agéncia de Gestió d’Ajuts Universitaris i de Recerca, under project 2017 SGR 786 (ALBCOM). M. Serna was also supported by MINECO under grant BGSMath (MDM-2014-044).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    The words “publishes”,“returns” and “outputs” are used interchangeably. The terms “site” and “service” are also used interchangeably.

References

  1. W3C, Web Services Glossary. http://www.w3.org/TR/ws-gloss/

  2. Akerlof, G., Schiller, R.: Animal Spirits. Princeton University Press, Princeton and Oxford (2009)

    Google Scholar 

  3. Augustin, T., Coolen, F., Cooman, G., Troffaes, M.: Introduction to Imprecise Probabilities. Wiley (2014). https://doi.org/10.1002/9781118763117

  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.179671

    Article  Google Scholar 

  5. Dean, J., Barroso, L.: The tail at scale. Commun. ACM 56(2), 74–80 (2013). https://doi.org/10.1145/2408776.2408794

    Article  Google Scholar 

  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. 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-9

    Article  MathSciNet  MATH  Google Scholar 

  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/bxt063

    Article  Google Scholar 

  9. Galbraith, J.K.: The Age of Uncertainty. Houghhton Miffin Company, Boston (1977)

    Google Scholar 

  10. Hoare, C.: Communicating Sequential Processes. Prentice-Hall, London (1985)

    MATH  Google Scholar 

  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_1

    Chapter  Google Scholar 

  12. Knight, F.: Risk, Uncertainty and Profit. Houghton Mifflin, Boston and New York (1921). http://www.econlib.org/library/Knight/knRUP.html

  13. McIver, A., Morgan, C.: Abstraction, Refinement and Proof for Probabilistic Systems. Springer, New York (2005). https://doi.org/10.1007/b138392

    Book  MATH  Google Scholar 

  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-1

    Article  Google Scholar 

  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. 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. Peltz, C.: Web services orchestration and choreography. IEEE Comput. 36(10), 46–52 (2003). https://doi.org/10.1109/MC.2003.1236471

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ALBCOM, CS Department, Universitat Politècnica de Catalunya, Barcelona, Spain

    Jorge Castro, Joaquim Gabarro & Maria Serna

Authors
  1. Jorge Castro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joaquim Gabarro
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maria Serna
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Joaquim Gabarro .

Editor information

Editors and Affiliations

  1. Universidad de Cádiz, Cádiz, Cadiz, Spain

    Jesús Medina

  2. Universidad de Málaga, Málaga, Málaga, Spain

    Manuel Ojeda-Aciego

  3. Universidad de Granada, Granada, Spain

    José Luis Verdegay

  4. Universidad de Granada, Granada, Spain

    David A. Pelta

  5. Universidad de Málaga, Málaga, Málaga, Spain

    Inma P. Cabrera

  6. LIP6, Université Pierre et Marie Curie, CNRS, Paris, France

    Bernadette Bouchon-Meunier

  7. Iona College, New Rochelle, New York, USA

    Ronald R. Yager

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Castro, J., Gabarro, J., Serna, M. (2018). Web Apps and Imprecise Probabilitites. In: Medina, J., et al. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations. IPMU 2018. Communications in Computer and Information Science, vol 854. Springer, Cham. https://doi.org/10.1007/978-3-319-91476-3_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91476-3_19

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91475-6

  • Online ISBN: 978-3-319-91476-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation