Various semantic models exist to formalize Reo, each serving a different purpose. In this work we mainly focus on formal models suitable for deriving a distributed implementation.
For our implementation platform, we assume a distributed environment where each (distributed) element knows about its own neighbors only. We propose an executable model to explicitly deal with distribution issues that is very close to this implementation layer. We present how the design and the implementation can be seen in a common architecture. Finally, we describe how synchronous constrains, imposed by Reo semantics, can be dealt with using asynchronous messages.