Explore projects

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

Functions for converting values between different data types, sub-types and formats.

Diploma Thesis: Efstathios Trantalis

This project provides a tool for querying IoT device information using SPARQL queries against a local RDF database. The tool comprises an AdoScript script to build and execute the query, and a Python script to handle the query execution and result formatting.

Master thesis: David Zahn

A module which extends the "ADOxx Add-on Extension" with the possibility to automatically execute specific add-ons when the modelling toolkit is started.

Provides additional functionalities in order to perform different types of HTTP/S requests (GET, PUT, POST, etc...) with more control about the content that is sent (headers and body) using AdoScript.

An empty ADOxx 1.5 library extended with ADOxx modules and other adaptations recommended by OMiLAB. These extensions represent years of knowledge gained in various meta-modelling projects that can prove helpful for many modern cases.

A module which provides several functions and procedures that deal with configuring and managing a version of a tool, like comparing version numbers or checking if a new version is available.

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