Natural language (NL) is pervasive in software requirements specifications (SRSs). However, despite its popularity and widespread use, NL is highly prone to quality issues such as vagueness, ambiguity, and incompleteness. Controlled natural languages (CNLs) have been proposed as a way to prevent quality problems in requirements documents, while maintaining the flexibility to write and communicate requirements in an intuitive and universally understood manner. In collaboration with an industrial partner from the financial domain, we systematically develop and evaluate a CNL, named Rimay, intended at helping analysts write functional requirements. We rely on Grounded Theory for building Rimay and follow well-known guidelines for conducting and reporting industrial case study research. Our main contributions are: (1) a qualitative methodology to systematically define a CNL for functional requirements; this methodology is intended to be general for use across information-system domains, (2) a CNL grammar to represent functional requirements; this grammar is derived from our experience in the financial domain, but should be applicable, possibly with adaptations, to other information-system domains, and (3) an empirical evaluation of our CNL (Rimay) through an industrial case study. Our contributions draw on 15 representative SRSs, collectively containing 3215 NL requirements statements from the financial domain. Our evaluation shows that Rimay is expressive enough to capture, on average, 88% (405 out of 460) of the NL requirements statements in four previously unseen SRSs from the financial domain.

自然语言 (NL) 在软件需求规范 (SRS) 中无处不在。然而，尽管它很受欢迎和广泛使用，但 NL 很容易出现质量问题，例如模糊、歧义和不完整。受控自然语言 (CNL) 已被提议作为一种防止需求文档中出现质量问题的方法，同时保持以直观和普遍理解的方式编写和传达需求的灵活性。我们与金融领域的行业合作伙伴合作，系统地开发和评估名为 Rimay 的 CNL，旨在帮助分析师编写功能需求。我们依靠扎根理论来构建 Rimay，并遵循众所周知的指导方针来进行和报告工业案例研究。我们的主要贡献是：(1) 系统地定义功能需求的 CNL 的定性方法；该方法论旨在普遍用于跨信息系统域，(2) 表示功能需求的 CNL 语法；这种语法源自我们在金融领域的经验，但应该适用于，可能经过调整，适用于其他信息系统领域，并且 (3) 通过工业案例研究对我们的 CNL (Rimay) 进行实证评估。我们的贡献借鉴了 15 个具有代表性的 SRS，共包含来自金融领域的 3215 个 NL 要求声明。我们的评估表明，Rimay 的表现力足以在金融领域的四个以前未见过的 SRS 中平均捕获 88%（460 个中的 405 个）的 NL 要求陈述。该方法论旨在普遍用于跨信息系统域，(2) 表示功能需求的 CNL 语法；这种语法源自我们在金融领域的经验，但应该适用于，可能经过调整，适用于其他信息系统领域，并且 (3) 通过工业案例研究对我们的 CNL (Rimay) 进行实证评估。我们的贡献借鉴了 15 个具有代表性的 SRS，共包含来自金融领域的 3215 个 NL 要求声明。我们的评估表明，Rimay 的表现力足以在金融领域的四个以前未见过的 SRS 中平均捕获 88%（460 个中的 405 个）的 NL 要求陈述。该方法论旨在普遍用于跨信息系统域，(2) 表示功能需求的 CNL 语法；这种语法源自我们在金融领域的经验，但应该适用于，可能经过调整，适用于其他信息系统领域，并且 (3) 通过工业案例研究对我们的 CNL (Rimay) 进行实证评估。我们的贡献借鉴了 15 个具有代表性的 SRS，共包含来自金融领域的 3215 个 NL 要求声明。我们的评估表明，Rimay 的表现力足以在金融领域的四个以前未见过的 SRS 中平均捕获 88%（460 个中的 405 个）的 NL 要求陈述。这种语法源自我们在金融领域的经验，但应该适用于，可能经过调整，适用于其他信息系统领域，并且 (3) 通过工业案例研究对我们的 CNL (Rimay) 进行实证评估。我们的贡献借鉴了 15 个具有代表性的 SRS，共包含来自金融领域的 3215 个 NL 要求声明。我们的评估表明，Rimay 的表现力足以在金融领域的四个以前未见过的 SRS 中平均捕获 88%（460 个中的 405 个）的 NL 要求陈述。这种语法源自我们在金融领域的经验，但应该适用于，可能经过调整，适用于其他信息系统领域，并且 (3) 通过工业案例研究对我们的 CNL (Rimay) 进行实证评估。我们的贡献借鉴了 15 个具有代表性的 SRS，共包含来自金融领域的 3215 个 NL 要求声明。我们的评估表明，Rimay 的表现力足以在金融领域的四个以前未见过的 SRS 中平均捕获 88%（460 个中的 405 个）的 NL 要求陈述。总共包含 3215 条来自金融领域的 NL 要求声明。我们的评估表明，Rimay 的表现力足以在金融领域的四个以前未见过的 SRS 中平均捕获 88%（460 个中的 405 个）的 NL 要求陈述。总共包含 3215 条来自金融领域的 NL 要求声明。我们的评估表明，Rimay 的表现力足以在金融领域的四个以前未见过的 SRS 中平均捕获 88%（460 个中的 405 个）的 NL 要求陈述。