Abstract
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a dataflow framework for execution. This paper describes recent advances in declarative networking, tracing its evolution from a rapid prototyping framework towards a platform that serves as an important bridge connecting formal theories for reasoning about protocol correctness and actual implementations. In particular, the paper focuses on the use of declarative networking for addressing four main challenges in the distributed systems development cycle: the generation of safe routing implementations, debugging, security and privacy, and optimizing distributed systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gecode constraint development environment, http://www.gecode.org/
PVS Specification and Verification System, http://pvs.csl.sri.com/
RapidNet, http://netdb.cis.upenn.edu/rapidnet/
Alvaro, P., Condie, T., Conway, N., Elmeleegy, K., Hellerstein, J.M., Sears, R.: Boom Analytics: Exploring Data-Centric, Declarative Programming for the Cloud. In: Proceedings of Eurosys (2010)
Alvaro, P., Marczak, W., Conway, N., Hellerstein, J.M., Maier, D., Sears, R.C.: Dedalus: Datalog in time and space. Technical Report UCB/EECS-2009-173, EECS Department, University of California, Berkeley (December 2009)
Ameloot, T.J., Neven, F., Van den Bussche, J.: Relational Transducers for Declarative Networking. In: PODS (2011)
Application Aware Anonymity, http://a3.cis.upenn.edu/
Balakrishnan, H., Kaashoek, M.F., Karger, D., Morris, R., Stoica, I.: Looking Up Data in P2P Systems. Communications of the ACMÂ 46(2) (2003)
Balbin, I., Ramamohanarao, K.: A Generalization of the Differential Approach to Recursive Query Evaluation. Journal of Logic Prog. 4(3), 259–262 (1987)
Chen, X., Mao, Y., Mao, Z.M., van der Merwe, J.: Declarative Configuration Management for Complex and Dynamic Networks. In: CoNEXT (2010)
Chu, D.C., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The Design and Implementation of a Declarative Sensor Network System. In: 5th ACM Conference on Embedded networked Sensor Systems, SenSys (2007)
DeTreville, J.: Binder: A logic-based security language. In: IEEE Symposium on Security and Privacy (2002)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics For Logic Programming. In: ICLP/SLP, pp. 1070–1080 (1988)
Gill, H., Saeed, T., Fei, Q., Zhang, Z., Loo, B.T.: An Open-source and Declarative Approach Towards Teaching Large-scale Networked Systems Programming. In: SIGCOMM Education Workshop (2011)
Goldschlag, D., Reed, M., Syverson, P.: Onion Routing. Communications of the ACM 42(2), 39–41 (1999)
Griffin, T.G., Sobrinho, J.L.: Metarouting. In: ACM SIGCOMM (2005)
Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining Views Incrementally. In: Proceedings of ACM SIGMOD International Conference on Management of Data (1993)
Hadoop, http://hadoop.apache.org/
Hellerstein, J.M.: Declarative imperative: Experiences and conjectures in distributed logic. SIGMOD Record 39(1) (2010)
Jim, T.: SD3: A Trust Management System With Certified Evaluation. In: IEEE Symposium on Security and Privacy (2001)
Kohler, E., Morris, R., Chen, B., Jannotti, J., Kaashoek, M.F.: The Click Modular Router. ACM Transactions on Computer Systems 18(3), 263–297 (2000)
Li, N., Grosof, B.N., Feigenbaum, J.: Delegation Logic: A logic-based approach to distributed authorization. ACM TISSEC (2003)
Liu, C., Correa, R., Gill, H., Gill, T., Li, X., Muthukumar, S., Saeed, T., Loo, B.T., Basu, P.: PUMA: Policy-based Unified Multi-radio Architecture for Agile Mesh Networking. In: 4th International Conference on Communication Systems and Networks, COMSNETS (2012)
Liu, C., Correa, R., Li, X., Basu, P., Loo, B.T., Mao, Y.: Declarative policy-based adaptive mobile ad hoc networking. IEEE/ACM Transactions on Networking, ToN (2011)
Liu, C., Loo, B.T., Mao, Y.: Declarative Automated Cloud Resource Orchestration. In: ACM Symposium on Cloud Computing, SOCC (2011)
LogicBlox Inc., http://www.logicblox.com/
Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative Networking: Language, Execution and Optimization. In: Proceedings of ACM SIGMOD International Conference on Management of Data (2006)
Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative Networking. Communications of the ACM, CACM (2009)
Loo, B.T., Condie, T., Hellerstein, J.M., Maniatis, P., Roscoe, T., Stoica, I.: Implementing Declarative Overlays. In: Proceedings of ACM Symposium on Operating Systems Principles (2005)
Loo, B.T., Hellerstein, J.M., Stoica, I.: Customizable Routing with Declarative Queries. In: ACM SIGCOMM Hot Topics in Networks (2004)
Loo, B.T., Hellerstein, J.M., Stoica, I., Ramakrishnan, R.: Declarative Routing: Extensible Routing with Declarative Queries. In: Proceedings of ACM SIGCOMM Conference on Data Communication (2005)
Mao, Y.: On the declarativity of declarative networking. In: ACM NetDB Workshop (2009)
Mao, Y., Loo, B.T., Ives, Z., Smith, J.M.: MOSAIC: Unified Platform for Dynamic Overlay Selection and Composition. In: CoNEXT (2008)
Marczak, W.R., Huang, S.S., Bravenboer, M., Sherr, M., Loo, B.T., Aref, M.: SecureBlox: Customizable Secure Distributed Data Processing. In: SIGMOD (2010)
Marczak, W.R., Zook, D., Zhou, W., Aref, M., Loo, B.T.: Declarative Reconfigurable Trust Management. In: Proceedings of Conference on Innovative Data Systems Research, CIDR (2009)
Liu, M., Taylor, N., Zhou, W., Ives, Z., Loo, B.T.: Recursive Computation of Regions and Connectivity in Networks. In: Proceedings of IEEE Conference on Data Engineering, ICDE (2009)
Muthukumar, S.C., Li, X., Liu, C., Kopena, J.B., Oprea, M., Correa, R., Loo, B.T., Basu, P.: RapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks. In: WINTECH (2009)
Muthukumar, S.C., Li, X., Liu, C., Kopena, J.B., Oprea, M., Loo, B.T.: Declarative toolkit for rapid network protocol simulation and experimentation. In: SIGCOMM, demo (2009)
NetDB@Penn, http://netdb.cis.upenn.edu/
Network Simulator 3, http://www.nsnam.org/
Nigam, V., Jia, L., Loo, B.T., Scedrov, A.: Maintaining distributed logic programs incrementally. In: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP (2011)
ORBIT - Wireless Network Testbed, http://www.orbit-lab.org/
Perich, F.: Policy-based Network Management for NeXt Generation Spectrum Access Control. In: DySPAN (2007)
PlanetLab. Global testbed, http://www.planet-lab.org/
Quagga Routing Suite, http://www.quagga.net/
Ramakrishnan, R., Ullman, J.D.: A Survey of Research on Deductive Database Systems. Journal of Logic Programming 23(2), 125–149 (1993)
RapidNet Declarative Networking Engine, http://netdb.cis.upenn.edu/rapidnet/
Ren, Y., Zhou, W., Wang, A., Jia, L., Gurney, A.J., Loo, B.T., Rexford, J.: FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing. In: ACM SIGCOMM Conference on Data Communication, demonstration (2011)
Saccà , D., Zaniolo, C.: Stable Models and Non-Determinism in Logic Programs with Negation. In: PODS, pp. 205–217 (1990)
Secure BGP, http://www.ir.bbn.com/sbgp/
Sherr, M., Mao, A., Marczak, W.R., Zhou, W., Loo, B.T., Blaze, M.: A3: An Extensible Platform for Application-Aware Anonymity. In: Network and Distributed System Security (2010)
Singh, A., Das, T., Maniatis, P., Druschel, P., Roscoe, T.: BFT Protocols Under Fire. In: USENIX Symposium on Networked Systems Design and Implementation (2008)
Wang, A., Basu, P., Loo, B.T., Sokolsky, O.: Towards declarative network verification. In: 11th International Symposium on Practical Aspects of Declarative Languages, PADL (2009)
Wang, A., Jia, L., Zhou, W., Ren, Y., Loo, B.T., Rexford, J., Nigam, V., Scedrov, A., Talcott, C.: FSR: Formal analysis and implementation toolkit for safe inter-domain routing. University of Pennsylvania CIS Technical Report No. MS-CIS-11-10 (2011), http://repository.upenn.edu/cis_reports/954/
Yices, http://yices.csl.sri.com/
Zhou, W., Ding, L., Haeberlen, A., Ives, Z., Loo, B.T.: Tap: Time-aware provenance for distributed systems. In: 3rd USENIX Workshop on the Theory and Practice of Provenance, TaPP 2011 (2011)
Zhou, W., Fei, Q., Narayan, A., Haeberlen, A., Loo, B.T., Sherr, M.: Secure network provenance. In: Proceedings of ACM Symposium on Operating Systems Principles (2011)
Zhou, W., Fei, Q., Sun, S., Tao, T., Haeberlen, A., Ives, Z., Loo, B.T., Sherr, M.: Nettrails: A declarative platform for provenance maintenance and querying in distributed systems. In: SIGMOD, demonstration (2011)
Zhou, W., Mao, Y., Loo, B.T., Abadi, M.: Unified Declarative Platform for Secure Networked Information Systems. In: Proceedings of IEEE Conference on Data Engineering, ICDE (2009)
Zhou, W., Sherr, M., Tao, T., Li, X., Loo, B.T., Mao, Y.: Efficient querying and maintenance of network provenance at Internet-scale. In: Proc. SIGMOD (2010)
Zhou, W., Sokolsky, O., Loo, B.T., Lee, I.: Dmac: Distributed monitoring and checking. In: 9th International Workshop on Runtime Verification, RV (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Loo, B.T. et al. (2012). Recent Advances in Declarative Networking. In: Russo, C., Zhou, NF. (eds) Practical Aspects of Declarative Languages. PADL 2012. Lecture Notes in Computer Science, vol 7149. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27694-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-27694-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27693-4
Online ISBN: 978-3-642-27694-1
eBook Packages: Computer ScienceComputer Science (R0)