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

DOI10.1016/j.scico.2011.11.007zbMath1412.68065arXiv1007.5094OpenAlexW2151221038MaRDI QIDQ1651010

Young J. Moon, Alexandra Silva, Christian Krause, Farhad Arbab

Publication date: 16 July 2018

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.5094

zbMATH Keywords

quality of servicecontinuous-time Markov chainsReocompositional semantic modelcoordination language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Soft constraint automata with memory

Uses Software

• PRISM
• SHARPE
• CADP
• Reo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A model of context-dependent component connectors
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• Interactive Markov chains. And the quest for quantified quality
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• The numerical solution of stochastic automata networks
• Performance evaluation of complex systems: Techniques and tools. Performance 2002 tutorial lectures. Papers based on the tutorials presented at the IFIP WG 7. 3 international symposium on computer performance modeling, measurement and evaluation, (Performance 2002), Rome, Italy, September 23-27, 1992
• Modeling component connectors in Reo by constraint automata
• The How and Why of Interactive Markov Chains
• Efficient descriptor-vector multiplications in stochastic automata networks
• Characterization of phase-type distributions
• A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
• Reo: a channel-based coordination model for component composition
• Extended Markovian Process Algebra

This page was built for publication: A compositional model to reason about end-to-end QoS in stochastic Reo connectors