RM2PT Publication

• Home
• RM2PT Publication

Publications

2025

• Peiye Yang, Li Zhang, Qin Li, Xiang Gao, Yilong Yang. “OCLVerifer: Automated verification of OCL contracts in requirements models”. Science of Computer Programming (SCP’24). 240. Feb 2025.

2024

• Yilong Yang, Bingjie Zeng, Jian Tu, Juntao Gao. “RM4ML: Requirements Model for Machine Learning-enabled Software Systems”. Requirements Engineering Journal, Oct 2024.

• Sizuo Liu, Yilong Yang, Muhammad Ali Khan, Zhen Tian, Ping Chen, Jingwei Shang. “ServeNet-GPT-Fusion: A Fusion Language Model For Web Services Classification”. presented at the 21st International Bhurban Conference on Applied Sciences & Technology (IBCAST’24), Islamabad, Pakistan, August 2024.

• Yilong Yang, Wenxiao Song, Chuangye Chang, Xinghai Gao. “MissionML: A Mission Architecture Modeling Language based on Unified Architecture Framework”. INCOSE International Symposium (INCOSE IS’24), 34(1), pp 479-502, July 2024.

• Yihui Jian, Yilong Yang, Shaohong Zhu, Zhi Li, Li Zhang. “RM2EIS: A Tool for Auto-Generation of EIS from Requirements Model”. presented at the 15th Asia-Pacific Symposium on Internetware (Internetware’24), Macau, China, July 2024. (Demonstration Track)

• Yilong Yang, Yuyu Cheng, Juntao Gao, Zhi Li. “Extending Meta-Model of Problem Frames for Metaverse Human-Computer Interaction System”. to be presented at the Workshop on Environment-Driven Requirements Engineering (EnviRE’24), Reykjavik, Iceland, June 2024.

• Hongyue Pan, Yilong Yang. “ValidGen: A Tool for Automatic Generation of Validation Scripts to Support Rapid Requirements Validation”. presented at the 46th International Conference on Software Engineering (ICSE’24), Lisbon, Portugal, Apr 2024. (Demonstration Track)

• Weiru Wang, Kai Wang, Zhiyang Cheng, Yilong Yang. “VeriPrune: Equivalence verification of node pruned neural network”. Neurocomputing (NeuCom’24). 577, pp 127347, Apr 2024

• Yongxin Zhao, Wenhan Wu, Yuan Fei, Zhihao Liu, Yang Li, Yilong Yang, Ling Shi, Bo Zhang. “An Architecture Refactoring Approach to Reducing Software Hierarchy Complexity”. Journal of Software: Evolution and Process (SEP’23), 36(4), pp e2573, Apr 2024.

• Xiaoming Wang, Yilong Yang, Weiru Wang, Yuanhua Zhou, Yongfeng Yin, Zhiguo Gong. “Generative Adversarial Networks based Motion Learning Towards Robotic Calligraphy Synthesis”. CAAI Transactions on Intelligence Technology (CIT’24’), 9(2), pp 250-263, Apr 2024.

• Yilong Yang, Yibo Liu, Tianshu Bao, Weiru Wang, Yongfeng Yin. “DeepOCL: A Deep Natural Network for OCL Generation from Unrestricted Nature Language”. CAAI Transactions on Intelligence Technology (CIT’24’), 9(1), pp 250-263, Feb 2024.

2023

• Yang Li, Yang Zhang, Yilong Yang，Weiru Wang, Yongfeng Yin. “RM2MS: A Tool for Automatic Identification of Microservices from Requirements Models”. presented at the 26th International Conferences on Model Driven Engineering Languages and Systems (MODELS’23), Västerås, Sweden, October 2023. (Demonstration Track)

• Yang Zhang , Yang Li , Yilong Yang ，Shuang Chen， Juntao Gao，Weiru Wang，Yongfeng Yin. “RapidMS: A Tool for Supporting Rapid Microservices Generation and Refinement from Requirements Model”. presented at the 26th International Conferences on Model Driven Engineering Languages and Systems (MODELS’23), Västerås, Sweden, October 2023. (Demonstration Track)

• Yilong Yang, Bingjie Zeng, ZhiChing Chen, Juntao Gao. “PF-HCPS: Extending Problem Frames for Supporting Human-Cyber-Physical System Collaboration”. presented at the Workshop on Environment-Driven Requirements Engineering (EnviRE’23), Hannover, Germany, September 2023.

• Yilong Yang, Yuyu Cheng, Juntao Gao. “A Survey on Metaverse: Technologies, Applications,Future Trends and Challenges”. presented at the 2023 IEEE International Conference on Metaverse (Metaverse 2023), Portsmouth, UK, August 2023.

• Hemanth Gudaparthi, Nan Niu, Yilong Yang, Matthew Van Doren, Reese Johnson. “Deep Learning’s Fitness for Purpose: A Transformation Problem Frame’s Perspective”. CAAI Transactions on Intelligence Technology (CIT’23’) 8(2), pp 343-354, Jun 2023.

• Zhen Tian, Yilong Yang, Sheng Cheng. “RM2DM: A Tool for Automatic Generation of OO Design Models from Requirements Models”. presented at the 45th International Conferences on Software Engineering (ICSE’23), Melbourne, Australia, May 2023. (Demonstration Track)

• Shuanglong Chang, Juntao Gao, Yilong Yang. “InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation”. presented at the 45th International Conferences on Software Engineering (ICSE’23), Melbourne, Australia, May 2023. (Demonstration Track)

2022

• Tianshu Bao, Jing Yang, Yongfeng Yin, Yilong Yang. “RM2Doc: A Tool for Automatic Generation of Requirements Documents from Requirements Models”. presented at the 44th International Conferences on Software Engineering (ICSE’22), Pittsburgh, PA, USA, May 2022. (Demonstration Track)

• Zhi Li, Ling Xie, Yilong Yang. “A Simplified Method for Automatic Verification of Java Programs”. presented at the 44th International Conferences on Software Engineering (SEKE’22), USA, July 2022. (Demonstration Track)

• Qiqi Gu, Wei Ke, Yilong Yang. “Transformation from MVC Applications to Smart Contracts”. presented at the 20th IEEE international conference on embedded and ubiquitous computing (EUC’22), Wuhan, China, Oct 2022.

2021

• Jing Zhang, Changran Lei , Yilong Yang , Borui Wang, and Yang Chen. “MMA-Net: A MultiModal-Attention-based Deep Neural Network for Web Services Classification”. presented at International Conference Service-Oriented Computing (ICSOC’21), Dubai, UAE, November 2021 (Short Paper).

• Yilong Yang, Younggi Bok, Zhuoxi Yang, Eric Sheriff and Tong Li. “Goal2UCM: Automatic Generation of Use Case Model from iStar Model”. presented at The 14th International iStar Workshop as part of the 40th International Conference on Conceptual Modeling (iStar’21), St. John’s, NL, Canada, October 2021.

• Bing Li, Zhi Li, Yilong Yang. “NFRNet: A Deep Neural Network for Automatic Classification of Non-Functional Requirements.” presented at IEEE International Requirements Engineering Conference (RE’21), Notre Dame Basilica, USA, Sep. 2021. (Demonstration Track)

• Shangfeng Wei, Zhi Li, Yilong Yang, Hongbin Xiao. “Zoom4PF: A Tool for Refining Static and Dynamic Domain Descriptions in Problem Frames” presented at IEEE International Requirement Engineering Conference (RE’21), Notre Dame Basilica, USA, Sep. 2021 (Demonstration Track)

• Hongbin Xiao, Zhi Li, Yilong Yang, Jie Deng, and Shangfeng Wei. “An Extended Meta-Model of Problem Frames for Enriching Environmental Descriptions”. presented at IEEE International Workshop on Environment-Driven Requirements Engineering (EnviRE’21), Sep. 2021.

• Jing Zhang, Yang Chen, Yilong Yang, Changran Lei, Deqiang Wang. “ServeNet-LT: A Normalized Multi-head Deep Neural Network for Long-tailed Web Services Classification.”. presented at IEEE International Conferences on Web Services (ICWS’21), Chicago, IL, USA. September 2021. (Regular Paper).

• Yilong Yang, Zhaotian Li, Jing Zhang and Yang Chen. “Transfer Learning for Web Services Classification”. presented at IEEE International Conferences on Web Services (ICWS’21), Chicago, IL, USA. September 2021. (Short Paper).

• Bing Li, Zhi Li, Yilong Yang, “Residual Attention Graph Convolutional Network for Web Services Classification”. Neurocomputing (NeuCom’21). 440, pp. 45-57 (2021)

2020

• Yilong Yang, Nafees Qamar, Peng Liu, Katarina Grolinger, Weiru Wang, Zhi Li, Zhifang Liao. “ServeNet: A Deep Neural Network for Web Services Classification. presented at IEEE 12th International Conferences on Web Services (ICWS’20), Beijing, China, Oct. 2020. (Regular Paper).

• Yilong Yang, Xiaoshan Li, Wei Ke, Zhiming Liu. “Automated Prototype Generation from Formal Requirements Model”. IEEE Transactions on Reliability (TR’20). 69(2), pp. 632-656, June 2020

• Yilong Yang, Xiaoshan Li, Zhi Li. “Rapid Prototyping for Requirements Validation: A Best-Practice with RM2PT”. presented at the 28th IEEE International Requirements Engineering Conference (RE’20). Zurich, Switzerland, August 2020. (RE’20 Tutorial)

2019

• Yilong Yang, Wei Ke, Weiru Wang, Yongxin Zhao “Deep Learning for Web Services Classification”. presented at IEEE 11th International Conferences on Web Services (ICWS’19), Milan, Italy, July 2019. (Work-in-progress Paper).

• Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke. “RM2PT: A Tool for Automated Prototype Generation from Requirements Model”. presented at the 41th International Conferences on Software Engineering (ICSE’19), Montreal, QC, Canada, May 2019. (Demonstration Track)

• Yilong Yang, Wei Ke and Xiaoshan Li. “RM2PT: Requirements Validation through Automatic Prototyping”. presented at the 27th IEEE International Requirements Engineering Conference (RE’19). Jeju Island, South Korea, September 2019. (Demonstration Track)