Rule Formalisation Tool (RFT)

This section provides the documentation for the tool that implements the Rule Formalisation Process documented here.

Description

Interfaces

The rule formalisation tool has been implemented as a web application where users can register and create projects for each regulation to be transformed into machine-processable format. The usual data such as name, surname, email address, etc. are requested during registration. Once registered, the user can begin to perform several actions to carry out rule formalisation process for one or more regulations.

Installation

The Rule Formalization Tool has been conceptualized as a web application developed using the Symfony PHP framework to allow users to carry out the rule formalisation process of a regulation in an interactive manner, through a set of web interfaces and some functionalities. Deploying the tool on a server requires the installation and configuration of a set of components and technologies that includes the Symfony framework but also Python and Java.

Access to the tool