Abstract Dataflow language (DFL)is the basis of most virtual instrument oriented visual pro-gramming environment．In order to apply these dataflow—based tools in real-time systems，a well defined real—time semantics must be provided．Though RTL semantics can be used to describe dataflow language，some issues such as the depiction of the asynchronous node and the selection of time scale still have not been solved．A RTL formal depiction of single—rate asynchronous dataflow language is presented．W ith bringing in the state predicates and transition event constants，the key problem of how to depict the asynchronous node can be resolved．
WANG Rui-Rong, ZHOU Hong, GENG Chen-Ge, WANG Le-Yu. RTL sem antics designed for single-rate—asynchronous data flow languages. Chinese Journal of Engineering Design, 2002, 9(1): 31-35.
