Sciweavers

Share
COORDINATION
2006
Springer

Compositional Semantics of an Actor-Based Language Using Constraint Automata

9 years 9 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is not compositional. In this paper, we investigate the possibility of mapping Rebeca models into a coordination language, Reo, and present a natural mapping that provides a compositional semantics of Rebeca. To this end, we consider reactive objects in Rebeca as components in Reo, and specify their behavior using constraint automata as black-box components within Reo circuits. Modeling coordination and communication among reactive objects as Reo circuits, and the behavior of reactive objects as constraint automata, provides a compositional semantics for Rebeca. Although the result is a compositional model, its visual representation in Reo shows very well that it still reflects the tight coupling inherent in the communication mechanism of object-based paradigms, whereby the real control and coordination is buil...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where COORDINATION
Authors Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
Comments (0)
books