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.


Original document

The different versions of the original document can be found in:

http://dx.doi.org/10.1007/978-3-319-91476-3_19 under the license http://www.springer.com/tdm
https://dblp.uni-trier.de/db/conf/ipmu/ipmu2018-2.html#CastroGS18,
https://upcommons.upc.edu/handle/2117/128655,
https://www.scipedia.com/public/Castro_et_al_2018a,
https://upcommons.upc.edu/bitstream/2117/128655/3/v9-Final-ImpProb.pdf,
https://academic.microsoft.com/#/detail/2804269031
Back to Top

Document information

Published on 01/01/2018

Volume 2018, 2018
DOI: 10.1007/978-3-319-91476-3_19
Licence: CC BY-NC-SA license

Document Score

0

Views 0
Recommendations 0

Share this document

claim authorship

Are you one of the authors of this document?