Supported by the National Basic Research Program of China under Grant No.2002CB312103(国家重点基础研究发展计划(973));the National Natural Science Foundation of China under Grant No;60503054(国家自然科学基金);the Key Innovation Project from the Institute of Software;the Chinese Academy of Sciences(中国科学院软件研究所创新基金重大项目)