Research Interests
Software Engineering
Formalized Method
Cyber Physical System
Educational Background
PhD, Nanjing University of Aeronautics and Astronautics, 2007
MA, Soochow University, 2002
BA, Central China Normal University, 1995
Research Projects in recent years
1.Nanjing High-tech District 321 Talent Program Fund: ¥1,000,000, 2014；
2.National Natural Science Fund Project (No. 61502212, ¥200,000): Study on the Cloud Service Quality Prediction and Recommendation Based on Time- Space Context- Awareness. 2016-2018；
3.Jiangsu Postdoctoral Fund Project (No. 1501055B, ¥40,000): Study on the Feasible Modeling Approach of UAVs Software Driven by Model. 2015-2017；
4.Jiangsu Institutes of Higher Learning Natural Science Fund Project (No. 10KJB520019, ¥50,000): Study on the Modeling and Examining Methods of Credible Inserted Software Supporting Non-functional Demands. 2011-2012；
5.JSNU Natural Science Fund Project (No. 11XLR20, ¥90,000): Study on the Modeling and Examining Methods of Credible Inserted Software Supporting Non-functional Demands；
Selected Publications
Zhu Yi, Huang Zhiqiu, Hang Zhou. Modeling and Verification of Web Services Composition based on Model Transformation. Software: Practice and Experience, 2017, 47(5): 709~730.
Zhu Yi, Huang Zhiqiu，Zhang Guangquan， Hang Zhou, Fangxiong Xiao. Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra. International Journal of Software Engineering and Knowledge Engineering, 2016, 26(7): 1099~1116.
Zhu Yi, Zhou Hang, Xiao Fangxiong, Zhang Guangquan. Method of Modeling and Analysis of Insertable Real Time System Software Energy Consumption. NASAC,2012.
Zhu Yi, Huang Zhiqiu, Zhang Guangquan, Zhou Hang, Xiao Fangxiong. Method for Modeling and Analyzing Hard Real-Time Software Based on Process Algebra. Journal of Frontiers of Computer Science & Technology, 2014 , 8 (6) :684-693.
Zhu Yi, Zhou Hang, Huang Zhiqiu, Zhang Guangquan. An Approach for Transforming LOTOS Specifications into MARTE Models. International Journal of Advancements in Computing Technology, 2013, 5(3): 170~179. (EI)
Zhu Yi, Chen Kejian, Xia Jinwei, Zhang Gongjie. Resource Modeling and Analysis of Real-Time Software Based on Process Algebra [C]. In: Proc. Of 4th International Conference on Computational and Information Sciences (ICCIS2012), Chongqing: IEEE CS, 2012, Vol. 1: 247~250. (EI).
Zhang Guangquan, Zhang Kan, Zhu Yi, Zhou Hang. Trustworthiness Evaluation Method for CPS Software Based on Software Architecture Energy Consumption Modeling. Acta Electronica Sinica, 2013 , 41 (11) :2270-2275.
L. Zheng, M. Rong, G. Zhang, Y. Zhu, G. Chen, H. Zhang. Method for modeling CPS based on open colored petri net. Journal of Computational Information Systems, 2014, 10(22): 9657~9664. (EI)
J. Zhang, G. Zhang, R. Yan, Y. Zhu, X, Qi. Modeling and verifying of CPS component services based on hybrid automata [J]. International Journal of Multimedia and Ubiquitous Engineering, 2014, 9(6): 49~57. (EI).
Xiao Fangxiong, Li Yan, Zhang Junhua, Zhu Yi, Zhu Xiaodong. Model and its Evaluation Method for QoS of Web Services. Computer Science, 2014 , 41 (11) :103-106.
Fan Dajuan, Huang Zhiqiu, Xiao Fangxiong, Zhu Yi, Wang Jin. Compatibility Analysis and Adaptor Generation for Multi-service Interaction. Journal of Jilin University (Engineering and Technology Edition), 2014 , 44 (4) :1094-1103.
K. Zhang, G. Zhang, M. Chen, Y. Zhu. Model supporting CPS software system evaluation on trustworthiness [J]. Journal of Computational Information Systems, 2012, 8(16): 6773~6780. (EI).
Zhou Hang, Huang Zhiqiu, Zhu Yi, Xia Liang, Liu Linyuan. Real-Time Systems Contact Checking and Resolution Based on Time Petri Net. Journal of Computer Research and Development, 2012 , 49 (2) :413-420
Liu Lin-yuan, Huang Zhi-qiu, Zhu Yi, Zhou Hang, Xiao Fang-xiong. Specification and Verification of Privacy Requirements in Web Service Compositions. Journal of PLA University of Science and Technology (Natural Science Edition), 2012, 13(1) : 27-33.
Wang Jing, Rong Mei, Zhang Guang-quan, Zhu Yi. Validation of Web Service Composition Based on Probabilistic Model Checking. Computer Science, 2012, 39 (1) :120-123
Books
Co Editor of Introduction to Formalized Method
Honors and Awards
Supervisor of Jiangsu University Undergraduate Excellent Design, 2013
JSNU Advanced Worker, 2012, 2013, 2014, 2015
JSNU Excellent Member of CPC, 2014
Excellent Supervisor of JSNU Undergraduate Design, 2014
Contact Information
Email：zhuy@jsnu.edu.cn