summaryrefslogtreecommitdiffstats
path: root/docs/release/installation/installation.instruction.rst
diff options
context:
space:
mode:
authorserena.spinoso <serena.spinoso@polito.it>2017-09-07 10:22:39 +0200
committerserena.spinoso <serena.spinoso@polito.it>2017-09-12 08:42:03 +0200
commita42de79292d9541db7865b54e93be2d0b6e6a094 (patch)
treecc357be8dc0030be4fa965273c4074f0dcb79345 /docs/release/installation/installation.instruction.rst
parentdd361d8d9df7a69a4fc7c004db5b959440a024c2 (diff)
update verigraph
JIRA: PARSER-154 code optimizations about graph manipulation and formula generation. Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d Signed-off-by: serena.spinoso <serena.spinoso@polito.it>
Diffstat (limited to 'docs/release/installation/installation.instruction.rst')
-rw-r--r--docs/release/installation/installation.instruction.rst83
1 files changed, 81 insertions, 2 deletions
diff --git a/docs/release/installation/installation.instruction.rst b/docs/release/installation/installation.instruction.rst
index 323fd4a..b399038 100644
--- a/docs/release/installation/installation.instruction.rst
+++ b/docs/release/installation/installation.instruction.rst
@@ -111,6 +111,7 @@ Parser verigraph installation
In the present release, verigraph requires that the following software is also installed:
- Java 1.8 (with javac compiler)
+- Apache Ant 1.9
- Apache Tomcat 8
- Microsoft Z3 (https://github.com/Z3Prover/bin/tree/master/releases)
- Neo4J (https://neo4j.org)
@@ -129,8 +130,86 @@ Step 2: Go to the verigraph directory.
cd parser/verigraph
-Step3: Follow the instructions in README.rst for downloading verigraph
-dependencies and for installing verigraph.
+Step3: Set up the execution environment, based on your operating system.
+
+*VeriGraph deployment on Apache Tomcat (Windows)*:
+
+- set JAVA HOME environment variable to where you installed the jdk
+ (e.g. ``C:\Program Files\Java\jdk1.8.XYY``);
+- set CATALINA HOME ambient variable to the directory where you
+ installed Apache (e.g.
+ ``C:\Program Files\Java\apache-tomcat-8.0.30``);
+- open the file ``%CATALINA_HOME%\conf\tomcat-users.xml`` and under the ``tomcat-users`` tag place,
+ initialize an user with roles "tomcat, manager-gui, manager-script". An example is the following
+ content: ``xml <role rolename="tomcat"/> <role rolename="role1"/> <user username="tomcat"
+ password="tomcat" roles="tomcat,manager-gui"/> <user username="both" password="tomcat"
+ roles="tomcat,role1"/> <user username="role1" password="tomcat" roles="role1"/>``
+- edit the "to\_be\_defined" fields in tomcat-build.xml with the username and password previously
+ configured in Tomcat(e.g. ``name="tomcatUsername" value="tomcat"`` and ``name="tomcatPassword"
+ value="tomcat"`` the values set in 'tomcat-users'). Set ``server.location`` property to the
+ directory where you installed Apache (e.g. ``C:\Program Files\Java\apache-tomcat-8.0.30``);
+
+*VeriGraph deployment on Apache Tomcat (Unix)*:
+
+- ``sudo nano ~/.bashrc``
+- set a few environment variables by paste the following content at the end of the file
+ ``export CATALINA_HOME='/path/to/apache/tomcat/folder'``
+ ``export JRE_HOME='/path/to/jdk/folder'``
+ ``export JDK_HOME='/path/to/jdk/folder'``
+- ``exec bash``
+- open the file ``$CATALINA_HOME\conf\tomcat-users.xml`` and under
+ the ``tomcat-users`` tag place, initialize an user with roles
+ "tomcat, manager-gui, manager-script". An example is the following content:
+ ``xml <role rolename="tomcat"/> <role rolename="role1"/> <user username="tomcat"
+ password="tomcat" roles="tomcat,manager-gui"/> <user username="both" password="tomcat"
+ roles="tomcat,role1"/> <user username="role1" password="tomcat" roles="role1"/>``
+- edit the "to\_be\_defined" fields in tomcat-build.xml with the
+ username and password previously configured in Tomcat(e.g. ``name="tomcatUsername"
+ value="tomcat"`` and ``name="tomcatPassword" value="tomcat"`` the values set in 'tomcat-users').
+ Set ``server.location`` property to the directory where you installed Apache
+ (e.g. ``C:\Program Files\Java\apache-tomcat-8.0.30``);
+
+
+
+Step4a: Deploy Verigraph in Tomcat.
+
+.. code-block:: bash
+
+ ant -f build.xml deployWS
+
+Use the Ant script build.xml to manage Verigraph webservice with the following targets:
+
+- generate-war: it generates the war file;
+- generate-binding: it generates the JAXB classes from the XML Schema file xml\_components.xsd;
+- start-tomcat : it starts the Apache Tomcat;
+- deployWS: it deploys the verigraph.war file contained in
+ verigraph/war folder;
+- startWS: it starts the webservice;
+- run-test: it runs the tests in tester folder. It is possible to
+ choose the iterations number for each verification request by
+ launching the test with "-Diteration=n run-test" where n is the
+ number of iterations you want;
+- stopWS: it stops the webservice;
+- undeployWS: it undeploys the webservice from Apache Tomcat;
+- stop-tomcat: it stops Apache Tomcat.
+
+Step4b: Deploy Verigraph with gRPC interface.
+
+.. code-block:: bash
+
+ ant -f build.xml generate-binding
+ ant -f gRPC-build.xml run-server
+
+Use the Ant script gRPC-build.xml to manage Verigraph with the following targets:
+
+- build: compile the program;
+- run: run both client and server;
+- run-client : run only client;
+- run-server : run only server;
+- run-test : launch all tests that are present in the package;
+
+
+
Parser apigateway Installation