An Enhanced Model for Stochastic Coordination

TL;DR

This paper introduces an improved semantic model for cloud resource coordination, enhancing scalability by modeling each component as an independent stochastic process, facilitating analysis of distributed, anonymous computational resources.

Contribution

It extends the IMCreo model for stochastic coordination by allowing independent stochastic processes for channels, nodes, and interfaces, improving scalability and analysis capabilities.

Findings

Enhanced scalability of the stochastic coordination model.

Ability to model independent processes within cloud architectures.

Facilitates analysis and validation of distributed resource coordination.

Abstract

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.