About RM2PT
Background
RM2PT was originally developed by A/Prof. Yang when he was pursuing a Ph.D. degree at the University of Macau and UNU-IIST with Prof. Xiaoshan Li and Zhiming Liu. Currently, RM2PT is continuously being developed and maintained by his group in School of Software and Software Engineering Institute at Beihang University (BUAA). RM2PT has being extended from serval directions: Requirements Modeling and Validation, System and Architecture Design, Code Generation, AI-based SE by collaboration with Universities and Company such as GXNU, MPI, NEPU, BJUT, and ECNU.
BUAA Group
BUAA group focus on Intelligent Software Engineering based on Model-driven and Data-driven Approach.
- Yilong Yang (PI)
Postgraduate Students
- Runkun Zhang (Application Software Factory)
- Xiaoran Wu (Automatic System Documentation)
- Hongyue Pan (AI-native Appplication Generation)
- Daijin Hu (Embedded Software Factory)
- Tianyi Wang (Requirements Refinement)
- Mingyu Tang (MBSE Framework)
-
Jiashuai Qiao
- Jiaxi Xu
- Jun Wang (System Engineering)
- Qizhen Li (Automatic Generation and Visualation of Formal Contract for Easy Understanding and Specifying)
- Sizuo Liu (Automatic Generation of OCL Contract)
- MengMeng Zhao (Automatic GUI Generation from Images)
- Kan Wang (LLMS Quantization)
- Pengfei Liu (DSL AutoLayout)
- Longyan Cui (ArkTS Generation)
- YanCen Liu
Alumni
- Yang Li (Xiaomi)
- Yongqi Pu
- Peiye Yang (Huawei)
- Yihui Jian
- Zhengda Wang
- Yang Zhang
- Zhen Tian (Xiaomi)
- Yanzhi Chen
- Yong Zhu
- Wenxiao Song
NEPU Group
RM2PT is being integrated with AI system and MicroServices Design and Modeling with Prof. Gao’s group in Northeast Petroleum Univeristy.
- Juntao Gao (PI)
Postgraduate Students
- Jian Tu (H-CPS)
- Fang Liu (Requirements Smell)
- Yiran Ma (Archiecture Design)
- Nianxi Tian (AI-native Software Requirements)
Alumni
- Shuanglong Chang (Requirements Validation)
- Bingjie Zeng (Learning-enhanced System)
- Shuang Chen (Microservices)
- Yuyu Cheng (Metaverse)
- Zhe Liu (Dapp)
BJUT Group
RM2PT is being integrated with Goal Model for CPS requirements modeling with Prof. Li’s Group in Beijing University Of Technology. BJUT group focuses on model transformation between Goal Model and UML-based Requirements Model.
- Tong Li (PI)
MPI Group
RM2PT is being integrated with databases and blockchains with Prof. Ke’s group in Macao Polytechnic Institute.
- Wei Ke (PI)
- Qiqi Gu (Blockchain)
GXNU Group
RM2PT is being integrated with Problem Frames for CPS requirements modeling with Prof. Li’s Group in Guangxi Normal University. GXNU group focuses on model transformation between Problem Frames and UML-based Requirements Model, Enterprise System Generation from requirements model
- Zhi Li (PI)
ECNU Group
RM2PT is being enhanced by Formal Methods with Prof. Li and Zhao’s group at East China Normal University. ECNU groups focus on JML-annotated Prototype Generation and Consistency proof by verifying transformation rules of RM2PT
- Qin Li (PI)
- Yongxin Zhao (PI)