NetTrails: a declarative platform for maintaining and querying provenance in distributed systems

Authors:
Wenchao Zhou;Qiong Fei;Shengzhi Sun;Tao Tao;Andreas Haeberlen;Zachary Ives;Boon Thau Loo;Micah Sherr
Affiliations:
University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;Georgetown University, Washington, DC, USA
Venue:
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Year:
2011

Citing 3
Cited 3

Declarative networking

Communications of the ACM - Scratch Programming for All
Efficient querying and maintenance of network provenance at internet-scale

Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Querying data provenance

Proceedings of the 2010 ACM SIGMOD International Conference on Management of data

Recent advances in declarative networking

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Distributed time-aware provenance

Proceedings of the VLDB Endowment
Enabling the analysis of cross-cutting aspects in ad-hoc processes

CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history and derivations of network state that result from the execution of a distributed protocol. It has broad applicability in the management, diagnosis, and security analysis of networks. Our demonstration shows the use of NetTrails for maintaining and querying network provenance in a variety of distributed settings, ranging from declarative networks to unmodified legacy distributed systems. We conclude our demonstration with a discussion of our ongoing research on enhancing the query language and security guarantees.