National Key Laboratory of Integrated Information System Technology, Institute of Software, Chinese Academy of Sciences