JUCS - Journal of Universal Computer Science 11(10): 1718-1748, doi: 10.3217/jucs-011-10-1718
Probabilistic Models for Reo Connector Circuits
expand article infoChristel Baier
‡ Institut fur Informatik I, University Bonn, Germany
Open Access
Constraint automata have been used as an operational model for Reo which offers a channel-based framework to compose complex component connectors. In this paper, we introduce a variant of constraint automata with discrete probabilities and nondeterminism, called probabilistic constraint automata. These can serve for compositional reasoning about connector components, modelled by Reo circuits with unreliable channels, e.g., that might lose or corrupt messages, or channels with random output values that, e.g., can be helpful to model randomized coordination principles.
probabilistic constraint automata, Reo, coordination, composition, Markov decision process, bisimulation