Paper Info
Title
Accountability for Abstract Component Design
Abstract
The importance of the services-based market, 62.9% of the World gross domestic product (GDP) [1], 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 clauses 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.
Year
DOI
Venue
2014
10.1109/SEAA.2014.68
Software Engineering and Advanced Applications
Keywords
Field
DocType
cloud computing,economic indicators,formal verification,object-oriented programming,AAL,GDP,SaaS,abstract accountability language,accountability clauses,accountable component design,accountable software design,gross domestic product,model checking tool,personal data flow,services-based market,software component design,software liability,software offered on-line as services,accountability,component design,model-checking,verification
Software design,Personal software process,Systems engineering,Computer security,Software peer review,Computer science,Package development process,Component-based software engineering,Software construction,Software development,Process management,Social software engineering
Conference
ISSN
Citations 
PageRank 
1089-6503
5
0.50
References 
Authors
20
4
Name
Order
Citations
PageRank
Walid Benghabrit150.50
Hervé Grall250.50
Jean-claude Royer322123.00
Mohamed Sellami42410.59