Explore projects

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

Bee-Up hybridizes several modelling languages in one tool. It allows the creation of models in BPMN, EPC, ER, UML and Petri Nets among others. Processing capabilities, like Flowchart execution, process simulation or SQL generation are also available.