摘要：

Jian Cao, Haiyan Zhao, Jie Wang, Shensheng Zhang, Minglu Li. Verifying Dynamic Workflow Change based on Executable Path [J]. International Journal of Intelligent Control and Systems. 2007, 12(1): 37-44

内容：