Accountability is often seen as a key notion in distributed systems, both in the human world and in software, on top of which interaction is built, together with the sibling notion of responsibility. However, there is limited support for the specification and use of such concepts in computational settings. This paper proposes an information model for computational accountability, which describes what data have to be available to allow, in any situation of interest arising from a group of interacting parties, the investigation and identification of accountability. The characterization of accountability provided by the model is grounded in the notions of just expectation and control. The information model is expressed in Object-Role Modeling (ORM), since it is well-suited to capture the relational nature of the accountability concept. An advantage of our model is that a designer can verify the consistency of a domain w.r.t. a set of accountability requirements. The paper exemplifies this checking by means of an Answer Set Program (ASP).

MOCA: An ORM model for computational accountability

Baldoni M.;Baroglio C.;May K. M.;Micalizio R.;Tedeschi S.
2019-01-01

Abstract

Accountability is often seen as a key notion in distributed systems, both in the human world and in software, on top of which interaction is built, together with the sibling notion of responsibility. However, there is limited support for the specification and use of such concepts in computational settings. This paper proposes an information model for computational accountability, which describes what data have to be available to allow, in any situation of interest arising from a group of interacting parties, the investigation and identification of accountability. The characterization of accountability provided by the model is grounded in the notions of just expectation and control. The information model is expressed in Object-Role Modeling (ORM), since it is well-suited to capture the relational nature of the accountability concept. An advantage of our model is that a designer can verify the consistency of a domain w.r.t. a set of accountability requirements. The paper exemplifies this checking by means of an Answer Set Program (ASP).
2019
13
1
5
20
www.iospress.nl/journal/intelligenza-artificiale/
Accountability; Information Model; ORM; Responsibility
Baldoni M.; Baroglio C.; May K.M.; Micalizio R.; Tedeschi S.
File in questo prodotto:
File Dimensione Formato  
2019_JofIA.pdf

Accesso riservato

Descrizione: Articolo principale
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 384.25 kB
Formato Adobe PDF
384.25 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1714965
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 3
social impact