Requirements engineering is a critical phase in ensuring the success of software development projects. However, transitioning from requirement analysis to system design often encounters challenges, including ambiguity in requirement expression, understanding deviations, and inefficiencies caused by manual operations. To address these issues, we propose PF2UML, a tool designed to bridge the gap between requirements analysis and system design. PF2UML offers three core features: (1) support for problem-oriented requirements modeling based on Problem Frames theory, (2) automated transformation of requirement models into UML diagrams. Experimental evaluations demonstrate that PF2UML significantly outperforms traditional manual methods, achieving improvements of 34% in time efficiency for requirements modeling, significantly improving the efficiency of model transformation, and effectively ensuring the consistency from requirements modeling to system design. Moreover, six case studies reveal that PF2UML achieves more than 10 times the efficiency of manual processes in complex scenarios.

@inproceedings{paperbot9092,
  title = {PF2UML:A Tool for Problem-Oriented Requirements Modeling and Transformation},
  author = {Hongbin Xiao and Zhi Li and Yilong Yang and Fei Tang and Dongming Jin},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728596}
}