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.

中文翻译：

---

使用基于代理的方法实现可审计性需求规范

透明度是民主社会中的一个重要因素，其特征包括可访问性、可用性、信息量、可理解性和可审计性。在这项研究中，我们关注可审计性，因为它对需要理解和审计公共信息的公民发挥着重要作用。尽管在设计系统时可审计性一直是讨论的主题，但其规范缺乏系统化。我们提出了一种在面向目标的基于代理的 Tropos 方法中系统地添加可审计性要求规范的方法。我们使用了 Transparency Softgoal Interdependency Graph，该图捕捉了透明度的不同方面，同时考虑了它们的可操作性。通过设计和实施在上诉法院法官之间分配诉讼的 LawDisTrA 系统进行了实证评估。实验包括在巴西高级劳工法院分发超过 300,000 件诉讼。我们的理论是，所提出的可审计性方法提供了足够的技术来解决透明度的跨组织性质。