Execution Semantics Analysis Based Composition Compensation Mechanism in Web Services Composition. - Xiaoyong Mei; Aijun Jiang; Fudan Zheng; Shixian Li (CSIE (7), 2009)

Formal semantics analysis of data flow and control flow for web composition transactions. - Yonglin Wang; Yiyan Fan; Aijun Jiang (ICIS, 2010)

An aggregation composition compensation method based on paired net. - Xiaoyong Mei; Yiyan Fan; Chang-Qin Huang; Aijun Jiang; Shixian Li (Int. J. Autom. Comput., 2012)