صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
projects
/
muMLE
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی

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

درخت: c738e8bcd1
شاخه‌ها تگ‌ها
muMLE
ZIP TAR.GZ
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 سال پیش

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.