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
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes 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.
Type de document :
Communication dans un congrès
EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014) Book Series: EUROMICRO Conference Proceedings, pp.213-220, 2014, 〈10.1109/SEAA.2014.68〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00987165
Contributeur : Walid Benghabrit <>
Soumis le : lundi 5 mai 2014 - 15:34:59
Dernière modification le : mardi 16 janvier 2018 - 14:38:56

Identifiants

Collections

Citation

Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Accountability for Abstract Component Design. EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014) Book Series: EUROMICRO Conference Proceedings, pp.213-220, 2014, 〈10.1109/SEAA.2014.68〉. 〈hal-00987165〉

Partager

Métriques

Consultations de la notice

272