An Enhanced Model for Stochastic Coordination
This work addresses scalability issues in coordination models for cloud applications, but it appears incremental as it builds upon an existing model.
The paper tackles the problem of analyzing and validating cloud applications with distributed computational resources by extending the IMCreo semantic model for Stochastic reo to enhance scalability, treating channels, nodes, and interface components as independent stochastic processes that may synchronize within coordination circuits.
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.