About RM2PT
Background
RM2PT was originally developed by Dr. 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 Design and Generation by collaboration with Universities and Company such as GXNU, ECNU, and BJUT.
BUAA Group
BUAA group focus on Automatic Software Engineering such as Models Transformation and Code Generation.
- Yilong Yang (PI)
- Li Yang (Microservices)
- Eudrick (Microservices)
- Yongqi Pu (Goal2UML) (Co-supervised with Tong Li (BJUT))
- Yiming Zhu (RM2PT Life Process Model)
- Yihui Jian (RM2PT for Industrial Software) (Co-supervised with Zhang Li (BUAA))
- Peiye Yang (State Machine with Simulation) (Co-supervised with Zhang Li (BUAA))
- Zhaotian Li (Web Services Classification)
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)
- Jie Deng (PF2UML)
- Zecheng Zhou (Microservices)
- Kaifeng Lu (Service Classification)
- Bing Li (Requirements Engineering)
- Yunfang Li (NLP)
- Yuan Cao （Data Completion)
- Shangfeng Wei (Problem Frames Nesting)
- Hongbin Xiao (PF2UML)
- Yajun Deng (Text2SQL)
- Yuansong Qin (NL2OCL)
- Hui Liu （Automatic Test Case Generation）
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)
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)