Towards a Formal Framework for Normative Requirements Elicitation

被引：6

作者：

Feng, Nick ^{[2
]}

Marsso, Lina ^{[2
]}

Yaman, Sinem Getir ^{[1
]}

Townsend, Beverley ^{[1
]}

Cavalcanti, Ana ^{[1
]}

Calinescu, Radu ^{[1
]}

Chechik, Marsha ^{[2
]}

机构：

[1] Univ York, York, N Yorkshire, England

[2] Univ Toronto, Toronto, ON, Canada

来源：

2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE | 2023年

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1109/ASE56229.2023.00152

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：1776 / 1780

页数：5

共 20 条

[1]

Alfieri Costanza, 2022, 1 INT C HYBR HUM ART, P128, DOI [10.3233/FAIA220194, DOI 10.3233/FAIA220194]

[2]

Anderson M, 2007, AI MAG, V28, P15

[3]

Bremner P., 2019, Proceedings of the IEEE, VPP, P1

[4] REASONS AND DEFEASIBLE REASONING [J].

Brunero, John .

PHILOSOPHICAL QUARTERLY, 2022, 72 (01) :41-64

[5] Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective [J].

Burton, Simon ;

Habli, Ibrahim ;

Lawton, Tom ;

McDermid, John ;

Morgan, Phillip ;

Porter, Zoe .

ARTIFICIAL INTELLIGENCE, 2020, 279

[6]

Clarke E. M., 1997, Foundations of Software Technology and Theoretical Computer Science. 17th Conference. Proceedings, P54, DOI 10.1007/BFb0058022

[7] GRAIL/KAOS: An environment for goal-driven requirements engineering [J].

Darimont, R ;

Delor, E ;

Massonet, P ;

vanLamsweerde, A .

PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, :612-613

[8]

Dennis L. A., 2015, AAAI Technical Report, VWS-15-02

[9]

Feng N., 2023, Supplementary material for: Towards a Formal Framework for Normative Requirements Elicitation

[10] Early Verification of Legal Compliance via Bounded Satisfiability Checking [J].

Feng, Nick ;

Marsso, Lina ;

Sabetzadeh, Mehrdad ;

Chechik, Marsha .

COMPUTER AIDED VERIFICATION, CAV 2023, PT III, 2023, 13966 :374-396

← 1 2 →