A compositional model to reason about end-to-end QoS in stochastic reo connectors
Autor(a) principal: | |
---|---|
Data de Publicação: | 2014 |
Outros Autores: | , , |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/1822/33757 |
Resumo: | 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 at the boundary of a connector, to capture its interaction with the services that comprise its environment. We propose Stochastic Reo Automata as an extension of Reo automata, in order to compositionally derive a QoS-aware semantics for Reo. We further present a translation of Stochastic Reo Automata to Continuous-Time Markov Chains (CTMCs). This translation enables us to use third-party CTMC verification tools to do an end-to-end performance analysis of service compositions. In addition, we discuss to what extent Interactive Markov Chains (IMCs) can serve as an alternative semantic model for Stochastic Reo. We show that the semantics of Stochastic Reo cannot be specified compositionally using the product operator provided by IMCs. |
id |
RCAP_c8f6f344fa68a5d2ff869bda52ebb839 |
---|---|
oai_identifier_str |
oai:repositorium.sdum.uminho.pt:1822/33757 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
A compositional model to reason about end-to-end QoS in stochastic reo connectorsCoordination languageReoContinuous-ime Markov chainsQuality of serviceCompositional semantic modelScience & TechnologyIn 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 at the boundary of a connector, to capture its interaction with the services that comprise its environment. We propose Stochastic Reo Automata as an extension of Reo automata, in order to compositionally derive a QoS-aware semantics for Reo. We further present a translation of Stochastic Reo Automata to Continuous-Time Markov Chains (CTMCs). This translation enables us to use third-party CTMC verification tools to do an end-to-end performance analysis of service compositions. In addition, we discuss to what extent Interactive Markov Chains (IMCs) can serve as an alternative semantic model for Stochastic Reo. We show that the semantics of Stochastic Reo cannot be specified compositionally using the product operator provided by IMCs.We would like to thank the referees for the many constructive comments, which greatly helped us improving the paper. The second author was partially supported by Fundacao para a Ciencia e a Tecnologia, Portugal, under grant number SFRH/BPD/71956/2010.ElsevierElsevierUniversidade do MinhoArbab, FarhadMoon, Young-JooSilva, Alexandra M.Krause, Christian20142014-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/33757eng0167-642310.1016/j.scico.2011.11.007http://www.sciencedirect.com/science/journal/01676423info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:50:39Zoai:repositorium.sdum.uminho.pt:1822/33757Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:49:22.456403Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
A compositional model to reason about end-to-end QoS in stochastic reo connectors |
title |
A compositional model to reason about end-to-end QoS in stochastic reo connectors |
spellingShingle |
A compositional model to reason about end-to-end QoS in stochastic reo connectors Arbab, Farhad Coordination language Reo Continuous-ime Markov chains Quality of service Compositional semantic model Science & Technology |
title_short |
A compositional model to reason about end-to-end QoS in stochastic reo connectors |
title_full |
A compositional model to reason about end-to-end QoS in stochastic reo connectors |
title_fullStr |
A compositional model to reason about end-to-end QoS in stochastic reo connectors |
title_full_unstemmed |
A compositional model to reason about end-to-end QoS in stochastic reo connectors |
title_sort |
A compositional model to reason about end-to-end QoS in stochastic reo connectors |
author |
Arbab, Farhad |
author_facet |
Arbab, Farhad Moon, Young-Joo Silva, Alexandra M. Krause, Christian |
author_role |
author |
author2 |
Moon, Young-Joo Silva, Alexandra M. Krause, Christian |
author2_role |
author author author |
dc.contributor.none.fl_str_mv |
Universidade do Minho |
dc.contributor.author.fl_str_mv |
Arbab, Farhad Moon, Young-Joo Silva, Alexandra M. Krause, Christian |
dc.subject.por.fl_str_mv |
Coordination language Reo Continuous-ime Markov chains Quality of service Compositional semantic model Science & Technology |
topic |
Coordination language Reo Continuous-ime Markov chains Quality of service Compositional semantic model Science & Technology |
description |
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 at the boundary of a connector, to capture its interaction with the services that comprise its environment. We propose Stochastic Reo Automata as an extension of Reo automata, in order to compositionally derive a QoS-aware semantics for Reo. We further present a translation of Stochastic Reo Automata to Continuous-Time Markov Chains (CTMCs). This translation enables us to use third-party CTMC verification tools to do an end-to-end performance analysis of service compositions. In addition, we discuss to what extent Interactive Markov Chains (IMCs) can serve as an alternative semantic model for Stochastic Reo. We show that the semantics of Stochastic Reo cannot be specified compositionally using the product operator provided by IMCs. |
publishDate |
2014 |
dc.date.none.fl_str_mv |
2014 2014-01-01T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1822/33757 |
url |
http://hdl.handle.net/1822/33757 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
0167-6423 10.1016/j.scico.2011.11.007 http://www.sciencedirect.com/science/journal/01676423 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Elsevier Elsevier |
publisher.none.fl_str_mv |
Elsevier Elsevier |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799133075127402496 |