用AI助手将形式化规范转为可控自然语言，提升需求描述准确性。
Developing controlled natural language for formal specification patterns using AI assistants
- 基于形式化模板生成通用自然语言模式，覆盖所有逻辑属性。
- 借助AI生成包含具体语义的自然语言需求语料库，支持部分属性求值。
- 通过语法分析构建可控语言的正式语法结构，适用于事件驱动时序需求。
我们利用AI助手开发了一种系统化方法，用于基于包含逻辑属性的形式化规范模式，构建受控自然语言的需求描述。该方法分为三个阶段：1）编译出涵盖形式化规范模板所有属性的通用自然语言需求模式；2）使用AI助手生成自然语言需求语料库，通过部分评估属性实现简化（所用提示词结合了通用模板、属性定义及特定需求模式的形式语义）；3）基于生成模式的语法结构分析，形式化受控自然语言的语法。该方法已在事件驱动的时序需求上进行测试。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。