TY - GEN
T1 - Procera
T2 - 1st ACM International Workshop on Hot Topics in Software Defined Networks, HotSDN 2012
AU - Voellmy, Andreas
AU - Kim, Hyojoon
AU - Feamster, Nick
PY - 2012
Y1 - 2012
N2 - Our previous experience building systems for implementing network policies in home and enterprise networks has revealed that the intuitive notion of network policy in these domains is inherently dynamic and stateful. Current configuration languages, both in traditional network architectures and in OpenFlow systems, are not expressive enough to capture these policies. As a result, most prototype OpenFlow systems lack a configurable interface and instead require operators to program in the system implementation language, often C++. We describe Procera, a control architecture for software-defined networking (SDN) that includes a declarative policy language based on the notion of functional reactive programming; we extend this formalism with both signals relevant for expressing high-level network policies in a variety of network settings, including home and enterprise networks, and a collection of constructs expressing temporal queries over event streams that occur frequently in network policies. Although sophisticated users can take advantage of Procera's full expressiveness by expressing network policies directly in Procera, simpler configuration interfaces (e.g., graphical user interfaces) can also easily be built on top of this formalism.
AB - Our previous experience building systems for implementing network policies in home and enterprise networks has revealed that the intuitive notion of network policy in these domains is inherently dynamic and stateful. Current configuration languages, both in traditional network architectures and in OpenFlow systems, are not expressive enough to capture these policies. As a result, most prototype OpenFlow systems lack a configurable interface and instead require operators to program in the system implementation language, often C++. We describe Procera, a control architecture for software-defined networking (SDN) that includes a declarative policy language based on the notion of functional reactive programming; we extend this formalism with both signals relevant for expressing high-level network policies in a variety of network settings, including home and enterprise networks, and a collection of constructs expressing temporal queries over event streams that occur frequently in network policies. Although sophisticated users can take advantage of Procera's full expressiveness by expressing network policies directly in Procera, simpler configuration interfaces (e.g., graphical user interfaces) can also easily be built on top of this formalism.
KW - functional reactive programming
KW - haskell
KW - network configuration
KW - openflow
KW - software-defined networking
UR - http://www.scopus.com/inward/record.url?scp=84866510736&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84866510736&partnerID=8YFLogxK
U2 - 10.1145/2342441.2342451
DO - 10.1145/2342441.2342451
M3 - Conference contribution
AN - SCOPUS:84866510736
SN - 9781450314770
T3 - HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks
SP - 43
EP - 48
BT - HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks
Y2 - 13 August 2012 through 13 August 2012
ER -