一句话：提出形式框架 FormaTive，支持高层规范性需求规范，并自动检测冲突、冗余与关注点。
随着与人类交互的软件和网络物理系统在医疗、教育、客服等领域普及，工程师需考虑社会、法律、伦理、同理心和文化等规范性需求。但此类需求获取困难，因为用户、操作员、律师、伦理学家和监管者等利益相关方的观点常冲突或冗余。为此，作者提出工具支持的形式框架 FormaTive，允许用直观高层语言为软件系统指定规范性规则，并自动完成三件事：将规则映射到内部形式表示；分析规则以识别冲突、冗余和关注点；综合反馈帮助用户理解和解决问题。摘要描述工具支持，但未报告具体实证评估。
As software and cyber-physical systems interacting with humans become prevalent in domains such as healthcare, education and customer service, software engineers need to consider normative (i.e., social, legal, ethical, empathetic and cultural) requirements. However, their elicitation is challenging, as they must reflect the often conflicting or redundant views of stakeholders ranging from users and operators to lawyers, ethicists and regulators. To address this challenge, we introduce a tool-supported Formal framework for normaTive requirements elicitation (FormaTive). It allows specification of normative rules for a software system in an intuitive high-level language, and automates: (i) the mapping of the rules to an internal formal representation; (ii) their analysis to identify rule conflicts, redundancies, and concerns; and (iii) the synthesis of feedback enabling users to understand and resolve problems.
@inproceedings{FengMYTCCC23,
title = {Towards a Formal Framework for Normative Requirements Elicitation},
author = {Nick Feng and Lina Marsso and Sinem Getir Yaman and Beverley Townsend and Ana Cavalcanti and Radu Calinescu and Marsha Chechik},
booktitle = {ASE},
year = {2023},
doi = {10.1109/ase56229.2023.00152}
}