Project DDDN: Data Driven Declarative Networking
|
OverviewThis project is a joint project between the Computer Laboratory and Microsoft Research Cambridge. Demand on programming distributed systems in dynamic
mobile networks as versatile services in urban environments across multiple
market segments is increasing, but it is challenging to provide a programming
paradigm that supports complex programming in such dynamic partitioned network
environments. Moreover, deploying applications raises complex issues (e.g. loss
of privacy, restricted power resource). The intersection between networking and
programming languages is an emerging active research topic in this context, and
it is crucial for us to explore new and alternative programming paradigms in the
networking space that allow the use of future emerging networks. This approach
can be applied not only mobile dynamic networks but dynamic cloud based
distributed computing environements. The DDDN project aims at addressing these
issues by introducing a declarative networking programming paradigm for data
centric networking environments, i.e. Data Driven Declarative Networking (DDDN),
where communication resources are managed together with network connectivity. It
includes provision of an expressive language for building applications for
distributed computation, where awareness of resource constraint is added in the
language. DDDN will be implemented in a functional language that provides an
intermediate abstraction between implementation detail and reasoning about logic
flow. DDDN implementation targets mainstream functional languages (e.g. F#,
OCaml, ML), including verification and compiler construction targeting to
various platforms in mobile devices (e.g. Windows, Android). Cross This project includes following research topics:
Source Code Repository
Specifications
Related Publications
Members
Contact EmailPlease email to eiko.yoneki@cl.cam.ac.uk. |