Towards Refactoring FRETish Requirements

Farrell, Marie; Luckcuck, Matt; Sheridan, Oisín; Monahan, Rosemary

Abstract

Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make it easier to understand and modify. We propose refactoring for formalised requirements to reduce repetition in the requirement set so that they are easier to maintain as the system and requirements evolve. This work-in-progress paper describes our motivation for and initial approach to refactoring requirements in NASA’s Formal Requirements Elicitation Tool (FRET). This work was directly triggered by our experience with an industrial aircraft engine software controller use case. In this paper, we reflect on the requirements that were obtained and, with a view to their maintainability, propose and outline functionality for refactoring fretish requirements.

Citation

Farrell, M., Luckcuck, M., Sheridan, O., & Monahan, R. (2022, May). Towards Refactoring FRETish Requirements. Presented at NASA Formal Methods Symposium (NFM) 2022, California, USA

• Presentation Conference Type: Conference Paper (published)
• Conference Name: NASA Formal Methods Symposium (NFM) 2022
• Start Date: May 24, 2022
• End Date: May 27, 2022
• Acceptance Date: May 20, 2022
• Online Publication Date: May 20, 2022
• Publication Date: 2022
• Deposit Date: Jun 27, 2025
• Print ISSN: 0302-9743
• Electronic ISSN: 1611-3349
• Peer Reviewed: Peer Reviewed
• Pages: 272-279
• Series Title: Lecture Notes in Computer Science
• Series Number: 13260
• Series ISSN: 1611-3349
• Book Title: NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
• ISBN: 9783031067723
• DOI: https://doi.org/10.1007/978-3-031-06773-0_14
• Public URL: https://nottingham-repository.worktribe.com/output/45862841
• Publisher URL: https://link.springer.com/chapter/10.1007/978-3-031-06773-0_14