Tiny (meta-)modeling framework

Find a file

Joeri Exelmans 4c4edf1963 CD parser: only add ModelRefs for types that don't exist yet		2024-10-09 15:19:54 +02:00
bootstrap	PlantUML: render class cardinalities. Extend constraint checker API.	2024-10-08 21:08:06 +02:00
concrete_syntax	CD parser: only add ModelRefs for types that don't exist yet	2024-10-09 15:19:54 +02:00
examples	add some comments	2024-10-09 15:11:23 +02:00
framework	Fix problems with older versions of Python	2024-10-09 10:32:32 +02:00
services	Add concrete syntax for class diagrams + example (woods2.py)	2024-10-09 15:09:16 +02:00
state	Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work.	2024-09-06 21:10:23 +02:00
transformation	Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS.	2024-10-08 12:22:37 +02:00
util	Add conformance checking example	2024-10-08 22:35:47 +02:00
.gitignore	Implemented State	2021-08-11 14:55:13 +02:00
README.md	Implemented State	2021-08-11 14:55:13 +02:00
requirements.txt	fix requirements.txt	2024-10-09 10:03:13 +02:00
state.p	Missing files and requirements	2021-09-28 19:53:12 +02:00

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.