Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 1776-1780 |
| Number of pages | 5 |
| ISBN (Electronic) | 9798350329964 |
| DOIs | |
| Publication status | Published - 8 Nov 2023 |
| Event | 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Echternach, Luxembourg Duration: 11 Sept 2023 → 15 Sept 2023 |
Publication series
| Name | Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 |
|---|
Conference
| Conference | 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 |
|---|---|
| Country/Territory | Luxembourg |
| City | Echternach |
| Period | 11/09/23 → 15/09/23 |
Bibliographical note
Publisher Copyright:© 2023 IEEE.
Keywords
- formal methods
- requirements elicitation
- traceability analysis