Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements

📅 2025-05-18
📈 Citations: 0
✨ Influential: 0
📄 PDF
🤖 AI Summary
In software requirements engineering, manual translation of high-level abstract features into testable functional requirements (FRs) suffers from low efficiency and poor interpretability. To address this, we propose EasyFR—a framework that formalizes FR generation as a structured slot-filling task guided by Semantic Role Labeling (SRL). Our key contributions are: (1) a novel configurable dual-variable SRL template system; (2) the Key2Temp model, which automatically maps features to optimal template variants; and (3) the first integration of an SRL-guided mechanism into the decoding process of pretrained language models. Experiments across four public benchmarks demonstrate that EasyFR significantly outperforms state-of-the-art NLG models, including GPT-4. Ablation studies confirm that SRL template recommendation critically enhances generation quality. This work establishes a new paradigm for automated, reusable, and interpretable FR synthesis.

Technology Category

Natural Language Processing: GenerationPlanning, Routing, and Scheduling: Planning with Language ModelsMachine Learning: Feature Construction/Reformulation

Application Category

Search and Retrieval-Augmented AI: Web evaluation methodologies and metricsSemantics and Knowledge: Data modeling to support human-machine intelligence, including LLMs agents, intelligent system behavior, explanations, and user-friendly interactionsEconomics, Online Markets and Human Computation: Cost models of using LLMs in production systems
📝 Abstract
The translation of high-level abstract features into clear, and testable functional requirements (FRs) is a crucial step in software development, bridging the gap between user needs and technical specifications. In engineering practice, significant expert effort is needed for this translation. Our approach, EasyFR, streamlines the process by recommending Semantic Role Labeling (SRL) sequences for the given abstract features to guide Pre-trained Language Models (PLMs) in producing cohesive FR statements. By analyzing ten diverse datasets, we induce two variable SRL templates, each including two configurable parts. For concrete features, our proposed Key2Temp model can construct the appropriate variant of the SRL template by identifying a variable SRL template and placing the feature tokens in the appropriate slots. In this way, our approach reframes the process of requirement generation into a structured slot-filling activity. Experimental validation on four open datasets demonstrates that EasyFR outperforms three advanced Natural language generation (NLG) approaches, including GPT4, particularly when existing FRs are available for training. The positive influence of our SRL template variant recommendations is further confirmed through an ablation study. We believe that our results indicate a notable step forward in the realm of automated requirements synthesis, holding potential to improve the process of requirements specification in future software projects.
Problem

Research questions and friction points this paper is trying to address.

Automating translation of abstract features to functional requirements
Reducing expert effort in software requirements specification
Improving accuracy of automated requirements synthesis using SRL templates
Innovation

Methods, ideas, or system contributions that make the work stand out.

Uses Semantic Role Labeling for FR generation
Leverages Pre-trained Language Models effectively
Introduces structured slot-filling for requirements
🔎 Similar Papers
No similar papers found.
💼 Related Jobs
No related jobs found.
X
Xiaoli Lian
SKLCCSE, School of Computer Science and Engineering, Beihang University, China
J
Jiajun Wu
School of Computer Science and Engineering, Beihang University, China
X
Xiaoyun Gao
School of Computer Science and Engineering, Beihang University, China
S
Shuaisong Wang
School of Computer Science and Engineering, Beihang University, China
L
Li Zhang
SKLCCSE, School of Computer Science and Engineering, Beihang University, China