Explanations and Transparency in Collaborative Workflows

Serge Abiteboul 1 Pierre Bourhis 2 Victor Vianu 3
1 VALDA - Value from Data
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
2 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Abstract : We pursue an investigation of data-driven collaborative work-flows. In the model, peers can access and update local data, causing side-e↵ects on other peers' data. In this paper, we study means of explaining to a peer her local view of a global run, both at runtime and statically. We consider the notion of " scenario for a given peer " that is a subrun observationally equivalent to the original run for that peer. Because such a scenario can sometimes di↵er significantly from what happens in the actual run, thus providing a misleading explanation , we introduce and study a faithfulness requirement that ensures closer adherence to the global run. We show that there is a unique minimal faithful scenario, that explains what is happening in the global run by extracting only the portion relevant to the peer. With regard to static explanations, we consider the problem of synthesizing, for each peer, a " view program " whose runs generate exactly the peer's observations of the global runs. Assuming some conditions desirable in their own right, namely transparency and boundedness, we show that such a view program exists and can be synthesized. As an added benefit, the view program rules provide provenance information for the updates observed by the peer.`
Document type :
Conference papers
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/hal-01744978
Contributor : Serge Abiteboul <>
Submitted on : Tuesday, March 27, 2018 - 6:18:12 PM
Last modification on : Friday, June 7, 2019 - 3:41:08 PM
Long-term archiving on : Thursday, September 13, 2018 - 9:45:17 AM

File

pods050withoutcopyright.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01744978, version 1

Citation

Serge Abiteboul, Pierre Bourhis, Victor Vianu. Explanations and Transparency in Collaborative Workflows. PODS 2018 - 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles Of Database Systems, Jun 2018, Houston, Texas, United States. ⟨hal-01744978⟩

Share

Metrics

Record views

291

Files downloads

278