About AI4SE

Intelligent Model-Driven Engineering

AI4SE Lab develops and maintains research methods, tools, and collaborative platforms around RM2PT, requirements modeling, automatic prototyping, model-driven engineering, and AI-based software engineering.

Background

From RM2PT to AI4SE Lab

RM2PT was originally developed by A/Prof. Yilong Yang during his Ph.D. study at the University of Macau and UNU-IIST with Prof. Xiaoshan Li and Prof. Zhiming Liu. It is now continuously developed and maintained by his group at the School of Softwareand the Software Engineering Institute of Beihang University.

The platform and its surrounding research have expanded from requirements modeling and validation toward system design, architecture modeling, code generation, formal contracts, and AI-enhanced software engineering.

RM2PTYilong Yang

Research Directions

Extended research directions

Requirements modeling and validation

System and architecture design

Model transformation and code generation

AI-based software engineering

Collaborative Network

Research groups and collaboration

BUAA Group

Intelligent Software Engineering based on model-driven and data-driven approaches.

  • Yilong Yang (PI)

NEPU Group

AI systems, microservice design, and modeling with Prof. Juntao Gao’s group at Northeast Petroleum University.

  • Juntao Gao (PI)

BJUT Group

Goal-model-based CPS requirements modeling and model transformation between goal models and UML-based requirements models.

  • Tong Li (PI)

MPI Group

Database and blockchain integration with Prof. Wei Ke’s group at Macao Polytechnic University.

  • Wei Ke (PI)

GXNU Group

Problem Frames for CPS requirements modeling, UML transformation, and enterprise system generation from requirements models.

  • Zhi Li (PI)

ECNU Group

Formal methods, JML-annotated prototype generation, and consistency proof by verifying RM2PT transformation rules.

  • Qin Li (PI)
  • Yongxin Zhao (PI)

Focus

BUAA Group

The BUAA group focuses on intelligent software engineering based on model-driven and data-driven approaches, covering application software factories, automatic system documentation, AI-native application generation, embedded software factories, requirements refinement, MBSE frameworks, system engineering, formal contract generation, GUI generation, LLM quantization, DSL auto-layout, and ArkTS generation.