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

Joeri Exelmans f2dc299eab Begin working on semantics example: runtime (meta-)model extends design (meta-)model 1 год назад
bootstrap e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. 1 год назад
concrete_syntax 6cd8bbb8cc Clearer error message when parsing fails 1 год назад
examples f2dc299eab Begin working on semantics example: runtime (meta-)model extends design (meta-)model 1 год назад
framework 98ae637eea Fix bug where creation of slot defined in super-class fails + clearer error message 1 год назад
services 98ae637eea Fix bug where creation of slot defined in super-class fails + clearer error message 1 год назад
state 4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work. 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 17bff66e8e Add conformance checking 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 лет назад

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.