需求诱导理论的构建：需求相对有效性的可接受性条件
Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements
摘要：
需求工程工件相对于系统的涉众来说是有效的，如果他们同意工件的内容。检查相对有效性涉及涉众和需求工程师之间的讨论。本文提出了（i）一种语言，用于表示在关于工件相对有效性的讨论中交换的信息;（ii）可接受性条件，当它在用所提出的语言捕获的讨论中得到验证时，表明所讨论的工件和讨论中的参与者的相对有效性成立;以及（iii）推理过程，以自动检查由所提议的语言捕获的讨论中的可接受性条件。
英文摘要：
A requirements engineering artifact is valid relative to the stakeholders of the system-to-be if they agree on the content of that artifact. Checking relative validity involves a discussion between the stakeholders and the requirements engineer. This paper proposes (i) a language for the representation of information exchanged in a discussion about the relative validity of an artifact; (ii) the acceptability condition, which, when it verifies in a discussion captured in the proposed language, signals that the relative validity holds for the discussed artifact and for the participants in the discussion; and (iii) reasoning procedures to automatically check the acceptability condition in a discussions captured by the proposed language.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
