Asynchronous interaction between FSM and dataflow models

In this paper, we focus on communication protocols which integrate control modules and function modules. Among others, asynchronous interaction enables the FSM model to control the scheduling of the dataflow model and to change the parameter in the data flow modules. Compared with previous approaches, the proposed technique supports formal specification for each component and provides protocols which integrate the two models in a flexible way.