{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:38:19Z","timestamp":1777894699825,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728596","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:10:43Z","timestamp":1753729843000},"page":"1134-1138","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["PF2UML:A Tool for Problem-Oriented Requirements Modeling and Transformation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-0964-4750","authenticated-orcid":false,"given":"Hongbin","family":"Xiao","sequence":"first","affiliation":[{"name":"Guangxi Key Lab of Multi-Source Information Mining and Securit(Guangxi Normal University), Guilin, -Select-, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1861-6842","authenticated-orcid":false,"given":"Zhi","family":"Li","sequence":"additional","affiliation":[{"name":"Guangxi Key Lab of Multi-Source Information Mining and Securit(Guangxi Normal University), Guilin, -Select-, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0099-344X","authenticated-orcid":false,"given":"Yilong","family":"Yang","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, -Select-, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-2611-6801","authenticated-orcid":false,"given":"Fei","family":"Tang","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd, Shenzhen, -Select-, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5451-2816","authenticated-orcid":false,"given":"Dongming","family":"Jin","sequence":"additional","affiliation":[{"name":"School of Computer Science Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"2019 International Conference on Frontiers of Information Technology (FIT). IEEE, 13\u2013135","author":"Abbas Syed Manzar","year":"2019","unstructured":"Syed Manzar Abbas, Khubaib Amjad Alam, Umer Iqbal, and Sahar Ajmal. 2019. Quality factors enhancement of requirement engineering: A systematic literature review. In 2019 International Conference on Frontiers of Information Technology (FIT). IEEE, 13\u2013135."},{"key":"e_1_3_2_1_2_1","article-title":"Research efforts and challenges in crowd-based requirements engineering: a review","volume":"12","author":"Abdullah Rosmiza Wahida","year":"2021","unstructured":"Rosmiza Wahida Abdullah, Sabrina Ahmad, Siti Azirah Asmai, Lee Seok-Won, and Zarina Mat Zain. 2021. Research efforts and challenges in crowd-based requirements engineering: a review. International Journal of Advanced Computer Science and Applications 12, 9 (2021).","journal-title":"International Journal of Advanced Computer Science and Applications"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.cosrev.2019.07.001","article-title":"Model-based testing using UML activity diagrams: A systematic mapping study","volume":"33","author":"Ahmad Tanwir","year":"2019","unstructured":"Tanwir Ahmad, Junaid Iqbal, Adnan Ashraf, Dragos Truscan, and Ivan Porres. 2019. Model-based testing using UML activity diagrams: A systematic mapping study. Computer Science Review 33 (2019), 98\u2013112.","journal-title":"Computer Science Review"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.46338\/ijetae0124_03"},{"key":"e_1_3_2_1_5_1","volume-title":"2023 IEEE 31st International Requirements Engineering Conference (RE). IEEE, 361\u2013362","author":"Chen Xuan","year":"2023","unstructured":"Xuan Chen, Hongbin Xiao, Yajun Deng, and Zhi Li. 2023. NL2PD: A Tool for Problem Diagram Generation from Requirements in Natural Language. In 2023 IEEE 31st International Requirements Engineering Conference (RE). IEEE, 361\u2013362."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","article-title":"Refinement and verification in component-based model-driven design","volume":"74","author":"Chen Zhenbang","year":"2009","unstructured":"Zhenbang Chen, Zhiming Liu, Anders P Ravn, Volker Stolz, and Naijun Zhan. 2009. Refinement and verification in component-based model-driven design. Science of Computer Programming 74, 4 (2009), 168\u2013196.","journal-title":"Science of Computer Programming"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"891","DOI":"10.1016\/j.infsof.2005.08.003","article-title":"A roadmap of problem frames research","volume":"47","author":"Cox Karl","year":"2005","unstructured":"Karl Cox, Jon G Hall, and Lucia Rapanotti. 2005. A roadmap of problem frames research. Information and Software Technology 47, 14 (2005), 891\u2013902.","journal-title":"Information and Software Technology"},{"key":"e_1_3_2_1_8_1","volume-title":"2009 IEEE\/ACM International Conference on Automated Software Engineering. IEEE, 680\u2013682","author":"Deeptimahanti Deva Kumar","year":"2009","unstructured":"Deva Kumar Deeptimahanti and Muhammad Ali Babar. 2009. An automated tool for generating UML models from natural language requirements. In 2009 IEEE\/ACM International Conference on Automated Software Engineering. IEEE, 680\u2013682."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Yajun Deng Zhi Li and Hongbin Xiao. 2022. Trace4PF: A tool for Automated Decomposition of Problem Diagrams with Traceability.. In SEKE. 473\u2013474.","DOI":"10.18293\/SEKE2022-181"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/TSE.2007.70769","article-title":"Problem oriented software engineering: Solving the package router control problem","volume":"34","author":"Hall Jon","year":"2008","unstructured":"Jon Hall, Lucia Rapanotti, and Michael Jackson. 2008. Problem oriented software engineering: Solving the package router control problem. IEEE Transactions on Software Engineering 34, 2 (2008), 226\u2013241.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_11_1","volume-title":"Problem Frames: Analyzing and structuring software development problems","author":"Jackson Michael","year":"2000","unstructured":"Michael Jackson. 2000. Problem Frames: Analyzing and structuring software development problems. Addison-Wesley Longman Publishing Co., Inc."},{"key":"e_1_3_2_1_12_1","volume-title":"International Conference on Model Driven Engineering Languages and Systems. Springer, 128\u2013138","author":"Jouault Fr\u00e9d\u00e9ric","year":"2005","unstructured":"Fr\u00e9d\u00e9ric Jouault and Ivan Kurtev. 2005. Transforming models with ATL. In International Conference on Model Driven Engineering Languages and Systems. Springer, 128\u2013138."},{"key":"e_1_3_2_1_13_1","volume-title":"2017 IEEE 25th International Requirements Engineering Conference (RE). IEEE, 352\u2013361","author":"Kasauli Rashidah","year":"2017","unstructured":"Rashidah Kasauli, Grischa Liebel, Eric Knauss, Swathi Gopakumar, and Benjamin Kanagwa. 2017. Requirements engineering challenges in large-scale agile system development. In 2017 IEEE 25th International Requirements Engineering Conference (RE). IEEE, 352\u2013361."},{"key":"e_1_3_2_1_14_1","volume-title":"Requirements engineering for software and systems","author":"Laplante Phillip A","unstructured":"Phillip A Laplante and Mohamad Kassab. 2022. Requirements engineering for software and systems. Auerbach Publications."},{"key":"e_1_3_2_1_15_1","volume-title":"2023 IEEE 31st International Requirements Engineering Conference (RE). IEEE, 359\u2013360","author":"Li Yulong","year":"2023","unstructured":"Yulong Li, Zhi Li, Yitao Bu, Hongbin Xiao, and Yajun Deng. 2023. PF4MD: A Microservice Decomposition Tool Combining Problem Frames. In 2023 IEEE 31st International Requirements Engineering Conference (RE). IEEE, 359\u2013360."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1049\/iet-sen.2016.0279","article-title":"Domain-specific language for automatic generation of UML models","volume":"12","author":"Miranda M\u00e1rcio Assis","year":"2018","unstructured":"M\u00e1rcio Assis Miranda, Marcos Guilherme Ribeiro, Humberto Torres Marques-Neto, and Mark Alan Junho Song. 2018. Domain-specific language for automatic generation of UML models. IET Software 12, 2 (2018), 129\u2013135.","journal-title":"IET Software"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"103363","DOI":"10.1016\/j.csi.2019.103363","article-title":"How are UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus","volume":"67","author":"Planas Elena","year":"2020","unstructured":"Elena Planas and Jordi Cabot. 2020. How are UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus. Computer Standards & Interfaces 67 (2020), 103363.","journal-title":"Computer Standards & Interfaces"},{"key":"e_1_3_2_1_18_1","volume-title":"2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 380\u2013 389","author":"Ramackers Guus J","year":"2021","unstructured":"Guus J Ramackers, Pepijn P Griffioen, Martijn BJ Schouten, and Michel RV Chaudron. 2021. From prose to prototype: synthesising executable UML models from natural language. In 2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 380\u2013 389."},{"key":"e_1_3_2_1_19_1","first-page":"6696695","article-title":"Requirement engineering challenges in agile software development","volume":"2021","author":"Rasheed Aqsa","year":"2021","unstructured":"Aqsa Rasheed, Bushra Zafar, Tehmina Shehryar, Naila Aiman Aslam, Muhammad Sajid, Nouman Ali, Saadat Hanif Dar, and Samina Khalid. 2021. Requirement engineering challenges in agile software development. Mathematical Problems in Engineering 2021, 1 (2021), 6696695.","journal-title":"Mathematical Problems in Engineering"},{"key":"e_1_3_2_1_20_1","volume-title":"Merks, and Marcelo Paternostro","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. 2008. EMF: eclipse modeling framework. Pearson Education."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering. 238\u2013249","author":"Lamsweerde Axel Van","year":"2008","unstructured":"Axel Van Lamsweerde. 2008. Requirements engineering: from craft to discipline. In Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering. 238\u2013249."},{"key":"e_1_3_2_1_22_1","volume-title":"IEEE 18th International Conference on Intelligent Engineering Systems INES 2014. IEEE, 233\u2013238","author":"Viyovi\u0107 Vladimir","year":"2014","unstructured":"Vladimir Viyovi\u0107, Mirjam Maksimovi\u0107, and Branko Perisi\u0107. 2014. Sirius: A rapid development of DSM graphical editor. In IEEE 18th International Conference on Intelligent Engineering Systems INES 2014. IEEE, 233\u2013238."},{"key":"e_1_3_2_1_23_1","volume-title":"2021 IEEE 29th International Requirements Engineering Conference (RE). IEEE, 414\u2013415","author":"Wei Shangfeng","year":"2021","unstructured":"Shangfeng Wei, Zhi Li, Yilong Yang, and Hongbin Xiao. 2021. Zoom4pf: A tool for refining static and dynamic domain descriptions in problem frames. In 2021 IEEE 29th International Requirements Engineering Conference (RE). IEEE, 414\u2013415."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1109\/TR.2019.2934348","article-title":"Automated prototype generation from formal requirements model","volume":"69","author":"Yang Yilong","year":"2019","unstructured":"Yilong Yang, Xiaoshan Li, Wei Ke, and Zhiming Liu. 2019. Automated prototype generation from formal requirements model. IEEE Transactions on Reliability 69, 2 (2019), 632\u2013656.","journal-title":"IEEE Transactions on Reliability"},{"key":"e_1_3_2_1_25_1","volume-title":"2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 59\u201362","author":"Yang Yilong","year":"2019","unstructured":"Yilong Yang, Xiaoshan Li, Zhiming Liu, and Wei Ke. 2019. RM2PT: a tool for automated prototype generation from requirements model. In 2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 59\u201362."}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728596","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:10:55Z","timestamp":1753729855000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728596"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":25,"alternative-id":["10.1145\/3696630.3728596","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728596","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}