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

Detalhes bibliográficos
Autor(a) principal: Arbab, Farhad
Data de Publicação: 2014
Outros Autores: Moon, Young-Joo, Silva, Alexandra M., Krause, Christian
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

Registros relacionados