Accountability for Abstract Component Design - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Accountability for Abstract Component Design

(1, 2, 3) , (2, 3, 1) , (2, 3, 1) , (2, 3)
1
2
3

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.
Not file

Dates and versions

hal-00987165 , version 1 (05-05-2014)

Identifiers

Cite

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⟩
178 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More