25
AN OPENFLOW NETWORK DESIGN CYCLE
© 2010 Taylor & Francis Group, LLC
Flow-based modeling language (FML) [31] is a policy language
for the Nox controller, which allows operators to declaratively spec-
ify NW policies. It provides a high-level declarative policy language
based on logic programming. An FML program consists of a collec-
tion of inference rules that collectively define a function that assigns a
set of flow constraints to each packet.
Procera [32] provides a controller architecture and a high-level NW
control language that allows operators to express NW behavior policies,
without resorting to the general-purpose programming of an NW con-
troller. Procera is designed to be reactive, supporting how most com-
mon NW policies react to dynam ...