Supported by National Natural Science Foundation of China(61170124,61272258,61301299,61272005,61572085);Provincial Natural Science Foundation of Jiangsu(BK20151254,BK20151260);Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education,Jilin University(93K172016K08);a Prospective Joint Research Projects from Joint Innovation and Research Foundation of Jiangsu Province(BY2014-05914);Collaborative Innovation Center of Novel Software Technology and Industrialization