Towards Auditability Requirements Specification Using an Agent-Based Approach

Transparency is an important factor in democratic societies composed of characteristics such as accessibility, usability, informativeness, understandability and auditability. In this research we focus on auditability since it plays an important role for citizens that need to understand and audit public information. Although auditability has been a subject of discussion when designing systems, there is a lack of systematization in its specification. We propose an approach to systematically add auditability requirements specification during the goal-oriented agent-based Tropos methodology. We used the Transparency Softgoal Interdependency Graph that captures the different facets of transparency while considering their operationalization. An empirical evaluation was conducted through the design and implementation of LawDisTrA system that distributes lawsuits among judges in an appellate court. Experiments included the distribution of over 300,000 lawsuits at the Brazilian Superior Labor Court. We theorize that the presented approach for auditability provides adequate techniques to address the cross-organizational nature of transparency.


page 7

page 9

page 19


Towards Agent-Based Model Specification in Smart Grid: A Cognitive Agent-based Computing Approach

A smart grid can be considered as a complex network where each node repr...

Trustworthy Transparency by Design

Individuals lack oversight over systems that process their data. This ca...

Modelling Human Routines: Conceptualising Social Practice Theory for Agent-Based Simulation

Our routines play an important role in a wide range of social challenges...

Replicability and Transparency for the Creation of Public Human User Video Game Datasets

Replicability is absent in games research; a lack of transparency in pro...

Specification of MiniDemographicABM.jl: A simplified agent-based demographic model of the UK

This document presents adequate formal terminology for the mathematical ...

Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations

This document presents adequate formal terminology for the mathematical ...

Agent-Based Proof Design via Lemma Flow Diagram

We discuss an agent-based approach to proof design and implementation, w...

Please sign up or login with your details

Forgot password? Click here to reset