Fairness is a critical concept in ethics and social domains, but it is also a challenging property to engineer in software systems. With the increasing use of machine learning in software systems, researchers have been developing techniques to assess the fairness of software systems automatically. Nonetheless, many of these techniques rely upon pre-established fairness definitions, metrics, and criteria, which may fail to encompass the wide-ranging needs and preferences of users and stakeholders. To overcome this limitation, we propose a novel approach, called MODNESS, that enables users to customize and define their fairness concepts using a dedicated modeling environment. Our approach guides the user through the definition of new fairness concepts also in emerging domains, and the specification and composition of metrics for its evaluation through a dedicated domain-specific language. Ultimately, MODNESS generates the source code to implement fair assessment based on these custom definitions. In addition, we elucidate the process we followed to collect and analyze relevant literature on fairness assessment in software engineering (SE). We compare MODNESS with the selected approaches and evaluate how they support the distinguishing features identified by our study. Our findings reveal that i) most of the current approaches do not support user-defined fairness concepts; ii) our approach can cover additional application domains not addressed by currently available tools, e.g., mitigating bias in recommender systems for software engineering and Arduino software component recommendations; iii) MODNESS demonstrates the capability to overcome the limitations of the only two other model-driven engineering-based approaches for fairness assessment.

Thu 9 Oct

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 7: Security, Validation, and Smart ContractsJournal-First / Research Papers at DCIH 507
Chair(s): Daniel Varro Linköping University / McGill University

Hybrid

11:00
18m
Talk
Modal Abstractions for Smart Contract ValidationArtifact Evaluated − ReusableArtifact Evaluated − FunctionalFTArtifacts Available@In Person
Research Papers
Javier Godoy Departamento de Computacion. FCEyN. UBA, Margarita Capretto IMDEA Software Institute and Universidad Politécnica de Madrid, Martin Ceresa Input Output -- IMDEA Software Institute, Juan Pablo Galeotti Universidad de Buenos Aires, Diego Garbervetsky Universidad de Buenos Aires, César Sánchez IMDEA Software Institute, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
11:18
18m
Talk
Mining Frequent Structures in Conceptual ModelsRemote
Journal-First
Mattia Fumagalli Free University of Bozen-Bolzano, Tiago Prince Sales University of Twente, Pedro Paulo Barcelos , Giovanni Micale , Philipp-Lorenz Glaser Business Informatics Group, TU Wien, Dominik Bork TU Wien, Vadim Zaytsev University of Twente, Diego Calvanese , Giancarlo Guizzardi Universiteit Twente
DOI
11:36
18m
Talk
Visual Modeling and Simulation of AUTOSAR Application Layer Models Using ModelicaArtifact Evaluated − FunctionalPT@Remote
Research Papers
Peihao Yang Harbin Institute of Technology; Zhengzhou Research Institude, Harbin Institute of Technology, Tiantian Wang Harbin Institute of Technology, Ming Yang Harbin Institute of Technology, Xiaohong Su Harbin Institute of Technology
11:54
18m
Talk
Diagrammatic physical robot modelsRemote
Journal-First
DOI
12:12
18m
Talk
How fair are we? From conceptualization to automated assessment of fairness definitionsRemote
Journal-First
Giordano d'Aloisio University of L'Aquila, Claudio Di Sipio University of L'Aquila, Antinisca Di Marco University of L'Aquila, Davide Di Ruscio University of L'Aquila
DOI