基于时态关系代数的工作流引擎 - 汤庸; 陈子聪; 潘炎; 冀高峰 (Tongxin xuebao)