MODELS 2024
Sun 22 - Fri 27 September 2024 Linz, Austria
Thu 26 Sep 2024 10:45 - 11:03 at HS 1 - Foundations (2) Chair(s): Davide Di Ruscio

Decision-making systems are prone to discrimination against individuals with regard to protected characteristics such as gender and ethnicity. Detecting and explaining the discriminatory behavior of implemented software is difficult. To avoid the possibility of discrimination from the onset of software development, we propose a model-based methodology called MBFair that allows for verifying UML-based software designs with regard to individual fairness. The verification in MBFair is performed by generating temporal logic clauses, whose verification results enable reporting on the individual fairness of the targeted software. We study the applicability of MBFair using three case studies in real-world settings including a bank services system, a delivery system, and a loan system. We empirically evaluate the necessity of MBFair in a user study and compare it against a baseline scenario in which no modeling and tool support is offered. Our empirical evaluation indicates that analyzing the UML models manually produces unreliable results with a high chance of 46% that analysts overlook true-positive discrimination. We conclude that analysts require support for fairness-related analysis, such as our MBFair methodology.

Thu 26 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:30
Foundations (2)Tools and Demonstrations / Journal-First at HS 1
Chair(s): Davide Di Ruscio University of L'Aquila
10:45
18m
Paper
MBFair: a model-based verification methodology for detecting violations of individual fairness
Journal-First
Qusai Ramadan Universität Koblenz, Marco Konersmann , Amir Shayan Ahmadian , Jan Jürjens University of Koblenz-Landau, Steffen Staab
Link to publication DOI
11:11
18m
Paper
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements
Journal-First
Thuy Nguyen , Imen Sayar , Sophie Ebersold , Jean-Michel Bruel Université de Toulouse, France
Link to publication DOI
11:37
18m
Talk
PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths
Tools and Demonstrations
Antonio Bucchiarone Fondazione Bruno Kessler, Trento, Italy, Tommaso Guidolin Universita' degli Studi di Trento, Lorenzo Fasol Universita' degli Studi di Trento, Gianluca Schiavo Fondazione Bruno Kessler, Jörg Kienzle ITIS Software, University of Malaga, Sebastian Gerard CEA Saclay - NanoInnov, David Négrier WorkAdventure, Tommaso Martorella EPFL
12:03
18m
Talk
Move your MDE-teaching online: The MDENet Education Platform
Tools and Demonstrations
Steffen Zschaler King's College London, Will Barnett King's College London, Artur Boronat University of Leicester, Antonio Garcia-Dominguez University of York, Dimitris Kolovos University of York