論文“Runtime Verification of Business Cloud Workflow Temporal Conformance”被服務計算領域top期刊Transactions  on Services Computing錄用。文章分析了云計算環(huán)境下大規(guī)模并發(fā)商務工作流在執(zhí)行過程中出現(xiàn)的異常傳播現(xiàn)象，考慮異常傳播帶來的“蝴蝶效應”，提出一種基于吞吐量的工作流時序異常檢測方法，在并發(fā)工作流實例執(zhí)行過程中及時檢測出現(xiàn)的時序異常。本文作者還有：武漢大學劉進教授、澳大利亞迪肯大學劉曉博士、斯威本科技大學楊耘教授和莫納什大學John Grundy教授。