Complex Sciences. First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2

Research Article

FLECS: A Framework for Rapidly Implementing Forwarding Protocols

Download
347 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-02469-6_53,
        author={Mirza Beg},
        title={FLECS: A Framework for Rapidly Implementing Forwarding Protocols},
        proceedings={Complex Sciences. First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2},
        proceedings_a={COMPLEX PART 2},
        year={2012},
        month={5},
        keywords={},
        doi={10.1007/978-3-642-02469-6_53}
    }
    
  • Mirza Beg
    Year: 2012
    FLECS: A Framework for Rapidly Implementing Forwarding Protocols
    COMPLEX PART 2
    Springer
    DOI: 10.1007/978-3-642-02469-6_53
Mirza Beg1,*
  • 1: University of Waterloo
*Contact email: mbeg@cs.uwaterloo.ca

Abstract

Design, implementation and deployment of network protocols is a challenging and difficult task. Determining their correctness and feasibility for large-scale networks is even more complicated. This paper presents , a framework for fascilitating implementation of forwarding protocols for packet-switched networks. We build upon the observation that the forwarding functionality can be modeled as a combination of well-defined but customizable components, the functionality of each component is constrained by the fundamental axioms of communication. provides a protocol specification language and automatically generates the protocol implementation from the specification.