, Institute of Software, Chinese Academy of Sciences National Key Laboratory of Integrated Information System Technology 4# South Fourth Street, Zhong Guan Cun, Beijing 100190, P.R. CHINA, China