UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Operational semantics for declarative networking

Pérez, JAN; Rybalchenko, A; (2009) Operational semantics for declarative networking. In: Gill, A and Swift, T, (eds.) Practical Aspects of Declarative Languages. 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings. (pp. 76 - 90). Springer Berlin Heidelberg Green open access

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
189Kb

Abstract

Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a computer network. It has already been used to implement various networked systems, e.g., network overlays, Byzantine fault tolerance protocols, and distributed hash tables. Declarative Networking relies upon a rule-based programming language that resembles Datalog and allows one to declaratively specify the flow of networking events. However, the presence of asynchronous communication, distribution, and imperative modification of the program state in Declarative Networking applications have been an obstacle for defining its semantics. Currently, the reference semantics is determined by the runtime environment only, which hinders further application development and makes any efforts to develop program analysis and verification tools impossible. In this paper, we propose an operational semantics for Declarative Networking that addresses these problems. The semantics is parameterized to keep open a design space required at the current stage of the language development. We also report on our first experience with an interpreter for Declarative Networking applications that implements the proposed semantics.

Type:Proceedings paper
Title:Operational semantics for declarative networking
Event:11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009
ISBN-13:978-3-540-92994-9
Open access status:An open access version is available from UCL Discovery
DOI:10.1007/978-3-540-92995-6_6
Publisher version:http://dx.doi.org/10.1007/978-3-540-92995-6_6
Language:English
Additional information:This is the authors' accepted version of this published article.
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

View download statistics for this item

Archive Staff Only: edit this record