Developing controlled natural language for formal specification patterns using AI assistants
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917177366413312 |
|---|---|
| author | Garanina, Natalia Zyubin, Vladimir Anureev, Igor |
| author_facet | Garanina, Natalia Zyubin, Vladimir Anureev, Igor |
| contents | Using an AI assistant, we developed a method for systematically constructing controlled natural language for requirements based on formal specification patterns containing logical attributes. The method involves three stages: 1) compiling a generalized natural language requirement pattern that utilizes all attributes of the formal specification template; 2) generating, using the AI assistant, a corpus of natural language requirement patterns, reduced by partially evaluating attributes (the developed prompt utilizes the generalized template, attribute definitions, and specific formal semantics of the requirement patterns); and 3) formalizing the syntax of the controlled natural language based on an analysis of the grammatical structure of the resulting patterns. The method has been tested for event-driven temporal requirements. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_24159 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Developing controlled natural language for formal specification patterns using AI assistants Garanina, Natalia Zyubin, Vladimir Anureev, Igor Software Engineering Artificial Intelligence Formal Languages and Automata Theory Using an AI assistant, we developed a method for systematically constructing controlled natural language for requirements based on formal specification patterns containing logical attributes. The method involves three stages: 1) compiling a generalized natural language requirement pattern that utilizes all attributes of the formal specification template; 2) generating, using the AI assistant, a corpus of natural language requirement patterns, reduced by partially evaluating attributes (the developed prompt utilizes the generalized template, attribute definitions, and specific formal semantics of the requirement patterns); and 3) formalizing the syntax of the controlled natural language based on an analysis of the grammatical structure of the resulting patterns. The method has been tested for event-driven temporal requirements. |
| title | Developing controlled natural language for formal specification patterns using AI assistants |
| topic | Software Engineering Artificial Intelligence Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2512.24159 |