An Enhanced Model for Stochastic Coordination

Nuno Oliveira
Luis Soares Barbosa

Applications developed over the cloud coordinate several, often anonymous, computational resources, distributed over different execution nodes, within flexible architectures. Coordination models able to represent quantitative data provide a powerful basis for their analysis and validation. This paper extends IMCreo, a semantic model for Stochastic reo based on interactive Markov chains, to enhance its scalability, by regarding each channel and node, as well as interface components, as independent stochastic processes that may (or may not) synchronise with the rest of the coordination circuit.

In Razieh Behjati and Ahmed Elmokashfi: Proceedings of the First International Workshop on Formal Methods for and on the Cloud (iFMCloud 2016), Reykjavik, Iceland, 4th June 2016, Electronic Proceedings in Theoretical Computer Science 228, pp. 35–45.
Published: 25th October 2016.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: