使用AI助手的形式规范模式的受控自然语言开发

本文提出了一种使用AI助手从形式规范模式生成受控自然语言需求的方法。该方法是系统性的，涉及创建广义自然语言模板、AI驱动的特定需求生成以及结果语言语法的形式化。对事件驱动型时间需求的关注表明了一个实际的应用领域。本文的重要性在于它有可能弥合形式规范和自然语言需求之间的差距，使形式方法更容易被理解和使用。

• •提出了一种生成受控自然语言需求的系统方法。
• •利用AI助手进行需求生成。
• •侧重于事件驱动型时间需求，表明了实际应用。
• •旨在弥合形式规范和自然语言之间的差距。