Declarative Networking.
Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. This paper provides an introduction to basic issues in declarative networking, includ...
| Publicado en: | Communications of the ACM Vol. 52; no. 11; pp. 87 - 96 |
|---|---|
| Autores principales: | , , , , , , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Nov2009
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=45021161&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 45021161 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Nov2009 vid: 52 iid: 11 pid: 68 pub: Association for Computing Machinery artinfo: ui: 45021161 10.1145/1592761.1592785 ppf: 87 ppct: 9 formats: tig: atl: Declarative Networking. aug: au: Boon Thau Loo Condie, Tyson Garofalakis, Minos Gay, David E. Hellerstein, Joseph M. Maniatis, Petros Ramakrishnan, Raghu Roscoe, Timothy Stoica, Ion affil: University of Pennsylvania, Philadelphia, PA. University of California, Berkeley, CA. Technical University of Crete, Greece. Intel Research, Berkeley, CA. Yahoo! Research, Silicon Valley. ETH Zurich, Switzerland. su: Declarative programming languages Declarative programming Computer programming Computer network protocols Computer networks Semantic network analysis sug: subj: Declarative programming languages Declarative programming Computer programming Computer network protocols Computer networks Semantic network analysis ab: Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. This paper provides an introduction to basic issues in declarative networking, including language design, optimization, and dataflow execution. We present the intuition behind declarative programming of networks, including roots in Datalog, extensions for networked environments, and the semantics of long-running queries over network state. We focus on a sublanguage we call Network Datalog (NDlog), including execution strategies that provide crisp eventual consistency semantics with significant flexibility in execution. We also describe a more general language called Overlog, which makes some compromises between expressive richness and semantic guarantees. We provide an overview of declarative network protocols, with a focus on routing protocols and overlay networks. Finally, we highlight related work in declarative networking, and new declarative approaches to related problems. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2009 holdings: @attributes: islocal: N |
|---|