职称

讲师

电子邮件

wangxi@t.shu.edu.cn

办公室

计815室

研究方向

软件工程、软件需求、软件测试

个人简介

    本人研究兴趣主要是面向人工智能的软件工程和面向软件工程的人工智能，希望通过AI技术使软件开发过程更为高质高效，也希望软件开发技术能服务于高质量人工智能的开发。近期主要研究成果聚焦于数据需求及其有效性验证，即如何通过需求工程获得更高质量的数据，从而更为高效地训练出目标系统。未来工作集中在工具化支持数据需求及其数据集的构建，同时数据与系统行为之间的关系也是值得探索的方向。

教育背景

2009-2014, 日本法政大学, 软件工程专业, 博士

2006-2009, 上海大学,软件工程专业, 硕士

2002-2006, 南昌大学, 计算机专业, 学士

主要工作经历

2014-至今, 上海大学，计算机工程与科学学院

科研项目

1.2019-2022，国家自然科学青年基金项目“人工智能系统的软件需求建模方法研究(No. 61902234)”，负责人

2.2018-2022，国家自然科学基金面上项目“数据驱动的机器学习软件系统的形成化需求建模工程方法(No. 61872144)”，参与

代表性论文或专著

1. Huilong Tang, Xi Wang*, Yidan Zhang, Qionghuizi Ran, Honghao Gao, LLaMA-PG: A domain-knowledge-enhanced framework for verification property generation from BPMN models, International Journal of Cognitive Computing in Engineering, Volume 7, 2026, Pages 515-537.

2. Zhuangzhuang Chen, X. Wang*. KI-GCNN: Knowledge-Informed Graph Convolutional Neural Network for Multiclass Trajectory Prediction at Signalized Intersections, QRS 2025.

3. Wang X, Jiang L. Dataset Construction through Ontology-Based Data Requirements Analysis[J].Applied Sciences (2076-3417), 2024, 14(6).

4. Liu, Hongbo, Xi Wang, Wang, Weiwei. (2023). Computer-Aided Formalization of Internal Consistent Product Family Models. Applied Sciences. 13. 1792. 10.3390/app13031792.

5. X. Wang, A Framework for Requirements Specification of Machine-Learning Systems, The 34th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2022.

6. X. Wang, R. Khedri and W. Miao, A Formal Engineering Approach to Product Family Modeling, 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021.

7. Xi Wang, Shaoying Liu. Computer-Aided Formalization of Requirements Based on Patterns. IEICE Trans. Inf. Syst. 97-D(2): 198-212 (2014)