Explanations and Transparency in Collaborative Workflows

Explanations and Transparency in Collaborative Workflows
复制标题

协作工作流程的解释和透明度

DOI:
--
复制
发表时间:
2018
期刊:
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
影响因子:
--
通讯作者:
V. Vianu
V. Vianu
中科院分区:
--
文献类型:
--
作者:
S. Abiteboul;P. Bourhis;V. Vianu

文献摘要

参考文献

被引文献

相似文献

我们对数据驱动的协作工作流程进行了调查。在该模型中,节点可以访问和更新本地数据,对其他节点的数据造成副作用。在本文中,我们研究了在运行时和静态情况下向同伴解释她对全球运行的本地看法的方法。我们认为“给定对等体的场景”的概念,这是一个subrun观察相当于原来的运行对等体。因为这样的场景有时会与实际运行中发生的情况有很大不同,从而提供了一个误导性的解释,我们引入并研究了一个忠实的要求,以确保更紧密地遵守全球运行。我们表明,有一个独特的最小的忠实的情况下,这解释了发生了什么事,在全球运行中提取的部分相关的同行。关于静态的解释,我们考虑的问题,为每个同行,一个“视图程序”,其运行生成的正是同行的全球运行的观察。假设在自己的权利,即透明度和有界性的一些条件下,我们表明,这样的视图程序存在,可以合成。作为一个额外的好处,查看程序规则为对等体观察到的更新提供起源信息。
We pursue an investigation of data-driven collaborative workflows. In the model, peers can access and update local data, causing side-effects 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 differ 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.
综合成本最低的服务合作伙伴
DOI: 10.1007/978-3-642-45005-1_49
发表时间: 2013
期刊:
影响因子: --
作者:
Jan Sürmeli;Marvin Triebel
通讯作者: Marvin Triebel
DOI: 10.1145/1860702.1860704
发表时间: 2010-09
期刊: SIGMOD Rec.
影响因子: --
作者:
J. Hellerstein
通讯作者: J. Hellerstein