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