Merge branch 'documentation/verifier' into 'develop'

Resolve "Documentation of verifier"

Closes #13

See merge request jonasblatt/ma-jonasblatt-dmn-verifier!53

dmnverifierapi/README.md

@@ -16,3 +16,7 @@ This project contains all source files of the implementation, created for the ma
 
 ### Verifier
 - [Overview verifier](verifier.md)
+
+### Run Project
+- Run in dev mode: `mvn compile quarkus:dev`
+- Build executable jar: `mvn clean install`

dmnverifierapi/docApi.md

@@ -53,11 +53,12 @@ Root path: <code>/api</code>
 <h3>Metrics</h3>
 
 <h4>Get some statistics about execution times</h4>
+The token parameter is optional for some metric statistics. The default value is 'all'.
 <ul>
   <li>GET</li>
   <li>
     <code><a href="/api/dmn/verification/metrics"
-             target="_blank">/api/dmn/verification/metrics</a></code>
+             target="_blank">/api/dmn/verification/metrics?token={token}</a></code>
   </li>
   <li>Produces: application/json</li>
 </ul>

dmnverifierfrontend/README.md

@@ -8,8 +8,14 @@ This project contains all source files of the implementation, created for the ma
 
 ## Frontend
 - [Running Frontend Instance](http://dmn.fg-bks.uni-koblenz.de)
+- [Metrics for Verifier](http://dmn.fg-bks.uni-koblenz.de/metrics.html)
 
 ### Important dependencies
 - [dmn-js](https://github.com/bpmn-io/dmn-js)
 - [dmn-js-modeler](https://github.com/bpmn-io/dmn-js-examples/tree/master/modeler)
 - [jQuery](https://jquery.com/)
+- [Select2](https://select2.org/)
+
+### Run Project
+- Run in dev mode: `mvn compile quarkus:dev`
+- Build executable jar: `mvn clean install`
\ No newline at end of file