Typed Abstraction of Complex Network Compositions

straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity and open nature of network systems make analysis of compositions of components quite challenging, making the design and implementation of robust network services largely inaccessible to the average programmer. We propose the development of a novel type system and practical type spaces which reflect simplified representations of the results and conclusions which can be derived from complex compositional theories in more accessible ways, essentially allowing the system architect or programmer to be exposed only to the inputs and output of compositional analysis without having to be familiar with the ins and outs of its internals. Toward this end we present the TRAFFIC (Typed Representation and Analysis of Flows For Interoperability Checks) framework, a simple flow-composition and typing language with corres...

• Type: Conference
• Year: 2005
• Where: ICNP
• Authors: Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta
• Keywords: ICNP 2005, Network Compositions∗ Azer, Network Protocols, Type Space, Type System