An Enhanced Model for Stochastic Coordination
Distributed, Parallel, and Cluster Computing
2016-10-27 v1 Logic in Computer Science
Software Engineering
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.
Keywords
Cite
@article{arxiv.1610.08201,
title = {An Enhanced Model for Stochastic Coordination},
author = {Nuno Oliveira and Luis Soares Barbosa},
journal= {arXiv preprint arXiv:1610.08201},
year = {2016}
}
Comments
In Proceedings iFMCloud 2016, arXiv:1610.07700