Deprecated: this webpage is preserved for archival purposes. Please consider visiting the new Reo webpage.

Reo model for the Reception component

The Reo model for the Reception component is shown in the ECT screen-shot below. The component consists of multiple threads that have two different functions: the RMHT converts incoming requests into tasks which will be put into the task queue; the indexed RMHRT generates new requests that are sent to either the Matcher or the Executer components. These two functions run in a mutual exclusive way. Thus, one of the threads in the component runs the RMHT, then the RMHRT is blocked in this thread. For simplicity of modeling, we assume that every thread has only one function, e.g., either the RMHT or the RMHRT. In the compliance with this simplification, the following model shows the Reception component with three threads. We modeled the component hierarchically, but here we skip the inner details.