宗西江 董兰荣 验证数据流调度。 737-758 2008 18 国际期刊软件。工程知识。工程师。 6 https://doi.org/10.1142/S0218194008003891 db/journals/ijseke/ijseke18.html#ChiangD08