Skip to Main content Skip to Navigation
Conference papers

Accountability for Abstract Component Design

Walid Benghabrit 1, 2, 3 Hervé Grall 2, 3, 1 Jean-Claude Royer 2, 3, 1 Mohamed Sellami 2, 3
3 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : The importance of the services-based market, 62.9% of the World gross domestic product (GDP), triggered an increase in the use of software offered on-line as services (SaaS). The use of such software usually implies the flow of personal data on-line between several parties. This can make users reluctant to their use. In this work, we consider this issue at the design-time of the software and we propose some foundations for an accountable software design. Accountability for a software is a property describing, among other aspects, its liability to end-users for the usage of the data it has been entrusted. We propose to enrich software's component design by accountability obligations using an abstract accountability language (AAL). We also define conditions for the well-formedness of an accountable component design and show how they can be checked using a model-checking tool.
Document type :
Conference papers
Complete list of metadata
Contributor : Walid Benghabrit Connect in order to contact the contributor
Submitted on : Monday, May 5, 2014 - 3:34:59 PM
Last modification on : Thursday, January 20, 2022 - 5:28:05 PM



Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Accountability for Abstract Component Design. EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩. ⟨hal-00987165⟩



Les métriques sont temporairement indisponibles