Normative Requirements Operationalization with Large Language Models

规范的非功能性需求指明了系统必须遵守的社会、法律、伦理、同理心和文化规范，以避免违反。由于这些需求通常由拥有不同专业知识和优先级的非技术系统利益相关者（如伦理学家、律师、社会科学家等）定义，因此确保它们的形式良好和一致性非常具有挑战性。最近的研究使用特定领域的语言将规范要求指定为规则，其一致性可以通过形式化方法进行分析，以解决这一挑战。在本文中，我们提出了一种补充方法，利用大型语言模型提取系统能力的抽象表示之间的语义关系。这些关系通常由非技术利益相关者隐含地假定（例如基于常识或领域知识），然后用于丰富自动推理技术，以引出和分析规范要求的一致性。我们通过一系列真实案例研究展示了我们的规范要求引出和操作化方法的有效性。

本论文旨在解决规范非功能需求的一致性问题，提出了一种基于大型语言模型的方法来丰富自动推理技术，以揭示规范需求中隐含的语义关系。

本论文的关键思路是使用大型语言模型来提取抽象表示的系统能力之间的语义关系，并将这些关系用于规范需求的一致性分析。

论文通过多个真实案例研究展示了该方法的有效性，实验设计合理，使用了多个数据集，但未提及代码是否开源。

最近的相关研究包括使用领域特定语言规范规范需求的一致性，以及使用形式化方法进行规范需求分析等。