A compositional model to reason about end-to-end QoS in stochastic reo connectors

In this paper, we present a compositional semantics for the channel-based coordination language Reo that enables the analysis of quality of service (QoS) properties of service compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates...

Full description

Bibliographic Details
Main Author: Arbab, Farhad (author)
Other Authors: Moon, Young-Joo (author), Silva, Alexandra M. (author), Krause, Christian (author)
Format: article
Language:eng
Published: 2014
Subjects:
Coordination language
Reo
Continuous-ime Markov chains
Quality of service
Compositional semantic model
Science & Technology
Online Access:http://hdl.handle.net/1822/33757
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/33757

Internet

http://hdl.handle.net/1822/33757

Similar Items