Explore projects

Microsoft Visual Code Support Extension for the AdoScript language and others used by the ADOxx platform, providing syntax highlighting, code snippets, comment toggling, code block folding and specific editors.

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.

A DLL for SHA-256 hash value calculations, an interface for UUID generation using Windows functions, and an interface for public-private key generation as well as signature creation and verification using OpenSSL. The DLL was originally developed for the Knowledge Blockchain Project. Further information is available in the following publication: Fill, Hans-Georg, Härer, Felix (2018): Knowledge Blockchains: Applying Blockchain Technologies to Enterprise Modeling (nominated for Best Paper Award), HICSS'51, AIS, pp.4045-4054 (https://scholarspace.manoa.hawaii.edu/items/696f56ac-6367-4be2-a735-fc6647cf7405).

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