How to Trust the Re-use of Data

Research in natural sciences and life sciences involve carrying out experiments to collect data as well as carrying out analysis to interpret the data. Increasingly data is being made available to other scientists in big databases. The scientific process builds on the idea that research results can...

Full description

Saved in:
Bibliographic Details
Published inSecurity and Trust Management pp. 72 - 88
Main Authors Karafili, Erisa, Nielson, Hanne Riis, Nielson, Flemming
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Access Control Policy
Data Pattern
Parallel Composition
Reaction Rule
Service Orchestration
Online AccessGet full text

Cover

More Information
Summary:Research in natural sciences and life sciences involve carrying out experiments to collect data as well as carrying out analysis to interpret the data. Increasingly data is being made available to other scientists in big databases. The scientific process builds on the idea that research results can be independently validated by other researchers. However, the concern about the correct re-use of data is also increasing. As illustrated by a currently evolving case of alleged scientific mispractice there is a need to support a reliable re-use of data. To solve this challenge we introduce an enriched coordination language based on Klaim, that can model the coordination of the re-use of data in the research community. We define the formal semantics of our language and develop a static analysis that can be used to check whether we have a trustable re-use of data.
ISBN:331924857X
9783319248578
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-24858-5_5