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...
| Autor principal: | |
|---|---|
| Outros Autores: | , , |
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2014
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/33757 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/33757 |