Reactive Objects as Components in Reo Circuits

Rebeca is an actor-based language for modeling concurrent and distributed systems using reactive objects. The possibility of mapping Rebeca models into the coordination language, Reo, is investigated and a natural mapping is presented. Reactive objects in Rebeca are considered as components in Reo, and their behavior is specified by constraint automata as black-box components within the Reo circuit.  

hosted by