Resolve "Add documentation in pages"

Closes #9 (closed)

pages/docs/index.md

@@ -5,25 +5,25 @@
 `RAGO` is the first REST API fuzzing tool modeled in [JastAdd](https://jastadd.cs.lth.se/).
 
 
-First of all, This tool parses [an OpenAPI specification (Swagger)](https://swagger.io/specification/) in Java classes and transfers it into JastAdd Objects. These Objects are able to be re-transformed and saved in JSON which describes its API Specification, if needed.
+First of all, This tool parses [an OpenAPI specification (OAS)](https://swagger.io/specification/) in Java classes and transfers it into JastAdd Objects. These Objects are able to be re-transformed and saved in JSON which describes its API Specification, if needed.
 
 ![](img/parser.png)
 
 
 After the parsing phase, `RAGO` is prepared to generate tests automatically in two different ways based on Fuzzing, `Random Testing` and `Parameter Inference`.
 
-## OpenAPI in RAG
+## OpenAPI Specification in JastAdd
 
-- Short mention of RAG
-- Short mention of OpenAPI
-- UML for OpenAPIObject
-- Relast for OpenAPIObject
+[OpenAPI specification (OAS)](https://swagger.io/specification/) defines a standard, language-agnostic interface to RESTful APIs which allows both humans and computers and is represented in JSON or YAML. Consequently, it is able to use OAS in Java, following in JastAdd.
 
-![](img/openapi.png)
 
+To understand better how OpenAPI documentations could be transformed in JastAdd, compare the following part of the JastAdd-grammar and [OpenAPI Object description](https://github.com/OAI/OpenAPI-Specification/blob/main/versions/3.0.3.md#oasObject)
 ```
-OpenAPIObject ::= <OpenAPI> <JsonSchemaDialect> I:InfoObject Serv:ServerObject* P:PathsObject* W:Webhook* C:ComponentsObject Sr:SecurityRequirementObject* T:TagObject* [E:ExternalDocObject] Ex:Extension*;
+OpenAPIObject ::=   <OpenAPI> <JsonSchemaDialect> I:InfoObject Serv:ServerObject*
+                    P:PathsObject* W:Webhook* C:ComponentsObject Sr:SecurityRequirementObject*
+                    T:TagObject* [E:ExternalDocObject] Ex:Extension*;
 ```
+![](img/openapi.png)
 
 ## Fuzzing Methods