Programming language support for routing in pervasive networks

Suzuki, Tomohiro; Pinte, Kevin; Cutsem, Tom Van; Meuter, Wolfgang De; Yonezawa, Akinori

doi:10.1109/percomw.2011.5766874

Cited by 7 publications

(4 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Also, computational reflection has been used for the purpose [16,2,14,11]. Especially, group-wide reflection (GWR) [17] in contrast to the sequential per-actor based reflection, allows each actor to have capabilities of reasoning about/acting upon the collective behavior of the group it belongs to.…”

Section: Introductionmentioning

confidence: 99%

A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems

Watanabe

Takeno

2014

Proceedings of 6th International Workshop on Context-Oriented Programming - COP'14

View full text Add to dashboard Cite

To realize context-orientation in concurrent systems, especially in systems based on asynchronous communication, we must take special care to control synchronizations among context changes and other computations. In this paper, we present a method to construct a reflective architecture for a group of actors and describe the method to implement concurrent context-oriented systems. The key idea is to apply parallel composition to actors that constitute the meta-level of the group. This results in a uniform construction method for various types of meta-level actors. Using the method, we give a solution to a synchronization problem regarding cross-context messages.

show abstract

Section: Introductionmentioning

confidence: 99%

A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems

Watanabe

Takeno

2014

Proceedings of 6th International Workshop on Context-Oriented Programming - COP'14

View full text Add to dashboard Cite

show abstract

“…The network appliances are connected using a model that efficiently allows forwarding, storing, ignoring, tagging, and providing statistics about data moving in the network. Some of the network appliances, like routers [29,24], are special in their functionality as they have some control over the network. This enables routers to compute and determine routes of data in the network.…”

Section: Introductionmentioning

confidence: 99%

ImpNet: Programming Software-Defied Networks Using Imperative Techniques

El-Zawawy,

AlSalem

2014

Preprint

View full text Add to dashboard Cite

Software and hardware components are basic parts of modern networks. However the software component is typical sealed and function-oriented. Therefore it is very difficult to modify these components. This badly affected networking innovations. Moreover, this resulted in network policies having complex interfaces that are not user-friendly and hence resulted in huge and complicated flow tables on physical switches of networks. This greatly degrades the network performance in many cases. Software-Defined Networks (SDNs) is a modern architecture of networks to overcome issues mentioned above. The idea of SDN is to add to the network a controller device that manages all the other devices on the network including physical switches of the network. One of the main tasks of the managing process is switch learning; achieved via programming physical switches of the network by adding or removing rules for packet-processing to/from switches, more specifically to/from their flow tables. A high-level imperative network programming language, called ImpNet, is presented in this paper. ImpNet enables writing efficient, yet simple, and powerful programs to run on the controller to control all other network devices including switches. ImpNet is compositional, simply-structured, expressive, and more importantly imperative. The syntax of ImpNet together two types of operational semantics to contracts of ImpNet are presented in the paper. The proposed semantics are of the static and dynamic types. Two modern application programmed using ImpNet are shown in the paper as well. The semantics of the applications are shown in the paper also.

show abstract

“…The network appliances are connected using a model that efficiently allows forwarding, storing, ignoring, tagging, and providing statistics about data moving in the network. Some of the network appliances, like routers [21,16], are special in their functionality as they have some control over the network. This enables routers to compute and determine routes of data in the network.…”

Section: Introductionmentioning

confidence: 99%

ImNet: An Imperative Network Programming Language

El-Zawawy,

AlSalem

2014

Preprint

View full text Add to dashboard Cite

One of the most recent architectures of networks is Software-Defined Networks (SDNs) using a controller appliance to control the set of switches on the network. The controlling process includes installing or uninstalling packet-processing rules on flow tables of switches. This paper presents a high-level imperative network programming language, called ImNet, to facilitate writing efficient, yet simple, programs executed by controller to manage switches. ImNet is simply-structured, expressive, compositional, and imperative. This paper also introduces an operational semantics to ImNet. Detailed examples of programs (with their operational semantics) constructed in ImNet are illustrated in the paper as well.

show abstract

Programming language support for routing in pervasive networks

Cited by 7 publications

References 27 publications

A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems

A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems

ImpNet: Programming Software-Defied Networks Using Imperative Techniques

ImNet: An Imperative Network Programming Language

Contact Info

Product

Resources

About