small (mu == micro) collection of software components with which to build Modelling Language Engineering (MLE) tools.

Joeri Exelmans c738e8bcd1 Extract language-independent 'Simulator' class from woods example		1 年之前
api	590ce0b0b9 Fix bug in ODAPI	1 年之前
bootstrap	e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API.	1 年之前
concrete_syntax	cd26a401fe Add example of 'woods' operational semantics. Clearer error messages. Implement full OD-API. Small refactoring of Conformance class.	1 年之前
examples	c738e8bcd1 Extract language-independent 'Simulator' class from woods example	1 年之前
framework	d8b52dd5c4 Add random simulation. Add option to also execute actions that lead to non-conforming model.	1 年之前
services	a4352e3184 BIG speedup by caching the set of edge targets for a given key	1 年之前
state	a4352e3184 BIG speedup by caching the set of edge targets for a given key	1 年之前
transformation	c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS.	1 年之前
util	c738e8bcd1 Extract language-independent 'Simulator' class from woods example	1 年之前
.gitignore	046266bfa4 Implemented State	4 年之前
README.md	046266bfa4 Implemented State	4 年之前
requirements.txt	7daee41907 fix requirements.txt	1 年之前
state.p	5e28a8d108 Missing files and requirements	4 年之前

MV2

This repository contains the code for my take on (a part of) the Modelverse for my Master's thesis.

Development packages

Some packages were used during development, but are not needed for succesful runtime (e.g. linter, autoformatter). These can be found under requirements_dev.txt.

Mandatory packages

Python packages required to succesfully run/test the code in this repository can be found under requirements.txt.

README.md

MV2

Development packages

Mandatory packages