论文“Runtime Verification of Business Cloud Workflow Temporal Conformance”被服务计算领域top期刊Transactions  on Services Computing录用。文章分析了云计算环境下大规模并发商务工作流在执行过程中出现的异常传播现象，考虑异常传播带来的“蝴蝶效应”，提出一种基于吞吐量的工作流时序异常检测方法，在并发工作流实例执行过程中及时检测出现的时序异常。本文作者还有：武汉大学刘进教授、澳大利亚迪肯大学刘晓博士、斯威本科技大学杨耘教授和莫纳什大学John Grundy教授。