FABIOLA enables Constraint Optimisation Problems (COPs) in large datasets by using Big Data techonologies in a user-friendly way. It enables to (1) create COP models; (2) integrate different data sources; (3) map dataset attributes to COP-model variables; (4) solve the COPs in a distributed way, and (5) perform advanced queries on the results.
The FABIOLA Big Data layer is based on Apache Spark. The most recent version relies on the COP solver choco-solver. The user interface is composed of a REST API implemented in NodeJS, and a front-end based on AngularJS.
The architecture fullfils the principles of low coupling and high cohesion. The communication among the different modules which compose this architecture is performed through REST APIs. In this way, all components are highly independent, and modifying or scaling any of them causes a low impact on the others.
The deployment of the Big Data layer is performed in a DC/OS cluster. It provides a highly elastic environment, since extending or reducing the amount of availables nodes is a very easy and transparent process. On the other hand, the backend and backend were deployed with Docker images.
A quick tour
Next, a quick tour on the features of this tool is presented.
This is the view where users can see their datasets.
By clicking the show button on a dataset, the user will get a detailed view on the features of the dataset. Note the validate button. By clicking that, the system will query such dataset and check if it correct. If so, the status will be validated.
This is an example of a bad dataset configuration. After being validated, it shows that it could not be validated and the cause of that.
Creating a dataset is very simple. Users might import their datasets from their own data sources. FABIOLA can read from several storage systems such as HDFS and MongoDB.
Users also might upload a dataset from their own computer.
Creating COP Models
In this view, the user can get a list of all the COP models defined by them.
This is an example of a COP model. These are defined in Scala by using the library choco-solver.
In this view, all instances are listed. An instance represents an execution, and is related to a dataset and a COP model.
This is a detailed view of an instance that has not been executed yet.
This is a detailed view of an instance that has been executed. By clicking the results button, the user can access to the querying tool of FABIOLA.
This is the creation process of a new instance. First, the COP model must be selected.
The next step is to select the dataset to be employed in this instance.
There is a preview view for each dataset. Here, users can get details about its schema.
Once the COP model and dataset have been selected, the user must map the dataset attributes to the COP variables. As explained in , there are three types of variables: IN, OTHER, and OUT. FABIOLA enables to perform this napping in a drag-and-drop basis.
The last step before creating the instance, is to select the desired configuration parameters for the cluster.
This is an example of the querying tool of FABIOLA. In this view, user can select the fields to query. Output fields are those generated by the COP and defined by the user during the data mapping process.
Example of a tabular view.
FABIOLA also supports aggregation operators. User can choose data attributes and operators, and depict the aggregated data in tables or maps.
The proposal was tested in an industrial scenario. Several Spanish electricity companies wanted to get the optimal power which each of their customers might contract in order to minimise their consumption. Our study  demonstrated that distributed COPs dastrically improved the global execution time. Including more worker nodes might improve the performance.
 Valencia-Parra, Á., Varela-Vaca, Á. J., Parody, L., & Gómez-López, M. T. (2020). Unleashing Constraint Optimisation Problem Solving in Big Data Environments. Journal of Computational Science, 45, 101180. https://doi.org/10.1016/j.jocs.2020.101180