From 457196231fb0d1df4842ac0e6bf8c10260dc9d0b Mon Sep 17 00:00:00 2001
From: "serena.spinoso" <serena.spinoso@polito.it>
Date: Thu, 16 Mar 2017 16:18:24 +0100
Subject: 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>
(cherry picked from commit 7d6f6962fb9c5ff6d815241d5d15c86c4c6a501b)
---
 verigraph/examples/verigraph-req3-fail.json    | 115 +++++++++++++++++++++++++
 verigraph/examples/verigraph-req3-success.json | 115 +++++++++++++++++++++++++
 2 files changed, 230 insertions(+)
 create mode 100644 verigraph/examples/verigraph-req3-fail.json
 create mode 100644 verigraph/examples/verigraph-req3-success.json

(limited to 'verigraph')

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
diff --git a/verigraph/examples/verigraph-req3-success.json b/verigraph/examples/verigraph-req3-success.json
new file mode 100644
index 0000000..127a677
--- /dev/null
+++ b/verigraph/examples/verigraph-req3-success.json
@@ -0,0 +1,115 @@
+{
+   "nodes":[
+      {
+         "neighbours":[
+            {
+               "name":"webserver1"
+            },
+            {
+               "name":"nat"
+            }
+         ],
+         "configuration":[
+            {
+               "ip_host1":"webserver1"
+            }
+         ],
+         "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":"candy",
+               "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
-- 
cgit 1.2.3-korg