lteu / netprog

Service Function Chain with Constraint Programming

Given a set of VNF with their related domains, the aim of our system is to find a Function Chain that starts from the source domain and ends in the target domain including requested VNFs, while respecting VNF properties.

Requirements

• MiniZinc
• Efficient Solver, e.g., Chuffed

N.B. the binary ./fzn_chuffed.dms is compatible only with Mac OS, please substitute it if needed, check Chuffed for your suitable one.

Instance Generation

Generate an example

netprog/gen$: python crt_map.py

netprog/gen$: python crt_reqs.py

This will create VNF network topology and simulated requests respectively. The created files are located at netprog/data-exp/test.dzn, netprog/data-exp/requests/request1.dzn ...

Automatically generate a testbed

You can personalize main.py or main2.py, which use the previous two scripts, to generate sets of experiments.

netprog/gen$: python main.py

Run

run the example

netprog$: python test.py

run experiments with instances in the testbed

netprog/run$: python chuffed.py

More

check cmd.md for basic usage and graphic visualization

Tech References

• Shortest_path

• Shortest_path Matrix

• Shortest Path Problem

• Netflow from std lib

• Mzn Global Constraints

• Transportation, flow balance control