Add verigraph documentation

Add user guide and test usage documentation.
Add examples of service graphs to use verigraph.

Change-Id: I3e454e03fa2de99bad0761e3e4a0eab98f2e0b23
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>

1 files changed, 115 insertions, 0 deletions

diff --git a/verigraph/examples/verigraph-req3-fail.json b/verigraph/examples/verigraph-req3-fail.json
new file mode 100644
index 0000000..dc8482f
--- /dev/null
+++ b/verigraph/examples/verigraph-req3-fail.json
@@ -0,0 +1,115 @@
+{
+   "nodes":[
+      {
+         "neighbours":[
+            {
+               "name":"webserver1"
+            },
+            {
+               "name":"nat"
+            }
+         ],
+         "configuration":[
+            {
+               "webserver1":"nat"
+            }
+         ],
+         "name":"fw",
+         "functional_type":"firewall"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"host3"
+            },
+            {
+               "name":"fw"
+            }
+         ],
+         "name":"webserver1",
+         "functional_type":"webserver"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"host1"
+            },
+            {
+               "name":"dpi"
+            },
+            {
+               "name":"fw"
+            }
+         ],
+         "configuration":[
+            "host1",
+            "host2"
+         ],
+         "name":"nat",
+         "functional_type":"nat"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"host2"
+            }
+         ],
+         "configuration":[
+            "sex"
+         ],
+         "name":"dpi",
+         "functional_type":"dpi"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"nat"
+            }
+         ],
+         "configuration":[
+            {
+               "url":"www.facebook.com",
+               "body":"sex",
+               "destination":"webserver1",
+               "protocol":"HTTP_REQUEST"
+            }
+         ],
+         "name":"host2",
+         "functional_type":"endhost"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"nat"
+            }
+         ],
+         "configuration":[
+            {
+               "url":"www.facebook.com",
+               "body":"cats",
+               "destination":"webserver1",
+               "protocol":"HTTP_REQUEST"
+            }
+         ],
+         "name":"host1",
+         "functional_type":"endhost"
+      },
+      {
+         "neighbours":[
+            {
+               "name":"webserver1"
+            }
+         ],
+         "configuration":[
+            {
+               "url":"www.facebook.com",
+               "body":"cats",
+               "destination":"webserver1",
+               "protocol":"HTTP_REQUEST"
+            }
+         ],
+         "name":"host3",
+         "functional_type":"endhost"
+      }
+   ]
+}
\ No newline at end of file