Home Explore Help
Sign In
projects
/
muMLE
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki

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

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

README.md

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.