Ιδρυματικό Αποθετήριο
Πολυτεχνείο Κρήτης
Πολυτεχνείο Κρήτης
EN
|
EL
| URI | http://purl.tuc.gr/dl/dias/496CB4EA-AA22-467D-9432-67313E105531 | - |
| Αναγνωριστικό | https://cacm.acm.org/magazines/2009/11/48438-declarative-networking/fulltext | - |
| Αναγνωριστικό | https://doi.org/10.1145/1592761.1592785 | - |
| Γλώσσα | en | - |
| Μέγεθος | 9 pages | en |
| Τίτλος | Declarative networking | en |
| Δημιουργός | Boon Thau Loo | en |
| Δημιουργός | Condie Tyson | en |
| Δημιουργός | Garofalakis Minos | en |
| Δημιουργός | Γαροφαλακης Μινως | el |
| Δημιουργός | Gay David E. | en |
| Δημιουργός | Hellerstein, Joseph, 1952- | en |
| Δημιουργός | Maniatis Petros | en |
| Δημιουργός | Ramakrishnan, Raghu | en |
| Δημιουργός | Roscoe Timothy | en |
| Δημιουργός | Stoica, Ion, 1965- | en |
| Εκδότης | Association for Computing Machinery | en |
| Περίληψη | 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. | en |
| Τύπος | Peer-Reviewed Journal Publication | en |
| Τύπος | Δημοσίευση σε Περιοδικό με Κριτές | el |
| Άδεια Χρήσης | http://creativecommons.org/licenses/by/4.0/ | en |
| Ημερομηνία | 2015-11-30 | - |
| Ημερομηνία Δημοσίευσης | 2009 | - |
| Θεματική Κατηγορία | Declarative networks | en |
| Θεματική Κατηγορία | Computers | en |
| Βιβλιογραφική Αναφορά | B.T. Loo, T. Condie, M. Garofalakis, D.E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe and I. Stoica, "Declarative networking", Communications of the ACM, vol. 52. no. 11, Nov. 2009, pp. 87-95. doi: 10.1145/1592761.1592785 | en |
Copyright © DIAS 2013
