Explore projects

ADoy is a software tool and a workflow for dynamically integrating ADOxx and Alloy.

This module provides Java classes and a runnable .jar file to manage ADOxx-based implementations in ALL and ABL format.

Diploma Thesis: Efstathios Trantalis

Bachelor thesis: Tornike Khachidze

Bachelor thesis: Michael Hellstern

This module provides functionalities to remotely execute AdoScript code in a running ADOxx based modelling tool through a REST API.

This module allows to transform ADOxx models and meta-models into an RDF representation based on the Linked Data constructs described in the ComVantage project.

A tool to add concepts (modelling classes, relation classes, etc.) and files from an existing ALL file to another ALL file. The Java classes can also be used to implement other tools or services.

A RESTful web-service to transform an OpenAPI / Swagger service description into an Olive Microservice Controller description. This service can itself be used through the Olive Microservice Controller.

The Java application from the "RDF Transformation" module as a REST web-service.

Java classes for representing and handling microservice descriptions for the Olive Microservice Controller through POJOs. Also provides annotations for de-/serialization from/to JSON.