Abstract
A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and semantics are enriched along the lines of Markovian extensions of process calculi. This allows addressing quantitative reasoning about the behaviour of the specified web services. For instance, a simple case study shows that services can be analyzed using the PRISM probabilistic model checker.
This work has been partially sponsored by the project SENSORIA, IST-2005-016004.
Chapter PDF
References
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Model-checking continuous-time markov chains. ACM TOCL 1(1), 162–170 (2000)
Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005, pp. 209–220 (2005)
Bruni, R., Melgratti, H.C., Tuosto, E.: Translating Orc Features into Petri Nets and the Join Calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 123–137. Springer, Heidelberg (2006)
Degano, P., Priami, C.: Enhanced operational semantics. ACM CS 33(2), 135–176 (2001)
Gilmore, S.T., Tribastone, M.: Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 214–226. Springer, Heidelberg (2006)
Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, Springer, Heidelberg (2006)
Hillston, J.: A Compositional Approach to Performance Modelling. In: CUP (1996)
Lapadula, A., Pugliese, R., Tiezzi, F.: Calculus for Orchestration of Web Services. In: Proc. ESOP 2007. LNCS, vol. 4421, pp. 33–47. Springer, Heidelberg (2007) (full version available at), http://rap.dsi.unifi.it/cows/
Milner, R.: Communicating and mobile systems: the π-calculus. In: CUP (1999)
Misra, J., Cook, W.R.: Computation Orchestration: A Basis for Wide-area Computing. SoSyM 6(1), 83–110 (2007)
PEPA (2007), http://www.dcs.ed.ac.uk/pepa/
Pottier, F.: An Overview of Cαml. ENTCS 148(2), 27–52 (2006)
Priami, C.: Stochastic π-calculus. The Computer Journal 38(7), 578–589 (1995)
PRISM (2007), http://www.cs.bham.ac.uk/~dxp/prism/
Quaglia, P.: Explicit substitutions for pi-congruences. TCS 269(1-2), 83–134 (2001)
Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. In: CUP (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prandi, D., Quaglia, P. (2007). Stochastic COWS. In: Krämer, B.J., Lin, KJ., Narasimhan, P. (eds) Service-Oriented Computing – ICSOC 2007. ICSOC 2007. Lecture Notes in Computer Science, vol 4749. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74974-5_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-74974-5_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74973-8
Online ISBN: 978-3-540-74974-5
eBook Packages: Computer ScienceComputer Science (R0)