A Framework for Visualizing and Simulating Reo

In this talk we present a tool designed to simulate Reo, a channel-based coordination calculus for component composition. We begin with a short recapitulation of Reo, and discuss the fundamental issues that define it. Then we explain the structure of the tool; particularly the separation between the GUI- and the simulation part and why this is important. After this, we start with a small demonstration of how the tool works and how it can be used to compose and define new channels. In this part we also need to explain technical details concerning the concept of locking, which is necessary for correctness of the simulation; channel-ends on nodes are locked according to a lock-and-ask mechanism/protocol. Finally, we demonstrate some examples from the Reo report. These examples are carefully selected in order to show all the simulation possibilities of the tool.  

hosted by