从语义上看，数据流是基于_____和_____的一种计算模型。