Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 11 / Issue 10

available in:   PDF (300 kB) PS (552 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-011-10-1718

 

Probabilistic Models for Reo Connector Circuits

Christel Baier (Institut fur Informatik I, University Bonn, Germany)

Abstract: 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.

Keywords: Markov decision process, Reo, bisimulation, composition, coordination, probabilistic constraint automata

Categories: D.2, F.4, G.3