Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/43349

TitleAn enhanced model for stochastic coordination
Author(s)Oliveira, Nuno Ernesto Salgado
Barbosa, L. S.
KeywordsSoftware coordination
Stochastic models
Issue date26-Oct-2016
PublisherOpen Publishing Association
JournalElectronic Proceedings in Theoretical Computer Science
CitationOB16
Abstract(s)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.
TypeConference paper
DescriptionPublicado em "Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016"
URIhttp://hdl.handle.net/1822/43349
DOI10.4204/EPTCS.228.5
ISSN2075-2180
Peer-Reviewedyes
AccessOpen access
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)

Files in This Item:
File Description SizeFormat 
OB16.pdf132,97 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID