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 metadatas

https://hal.inria.fr/hal-00987165
Contributor : Walid Benghabrit <>
Submitted on : Monday, May 5, 2014 - 3:34:59 PM
Last modification on : Monday, September 9, 2019 - 3:24:05 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

377