Pivi: An eclipse Plug-In for Visual Parallel Programming

Ecore meta-model and examples

Executable meta-model of Finite State Machines developped with GEMOC Studio

Open Assessment for Model-Driven Engineering module. This module was worth ten credits as part of my Master's Year and received a mark of 90%

Embedding of First-Order Relational Logic into Meta-Object Facility

KIT SS2019 – Decomposition procedure for multi-model consistency preservation.

Proof of concept for the integration of Ecore functionality into existing Java code.

We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation proces…

Ecore metamodel reverse engineering: Automatically extract EMF metamodels from Java code.

Fragments of the AtlanMod Zoo database, in Ecore and image formats. This is meant to be labeled manually for machine learning.

The Generic DataBase Modeling Tool (GenDBM) uses the MDA approach to provide a database modeling environment for both relational and geographical models. It also uses the Generic Database Metamodel (GEDBM) which gathers concepts of the most used modeling languages and notations (ER, Crow's Foot, Min-Max, UML, OMT-G, etc.).

A 3D figure generator using React, Three.js and ANTLR.

This repository provides the accompanying dockerized code play ground for teaching state-based testing. The code utilizes a UML state-machine to generate JUnit test cases using the known N+ strategy (by Binder).

Eclipse plugin that enables the programmatic creation of Java classes.

Visual Studio Code Extension - DSL for generating Spring Boot RESTful APIs

Model-based HR as code

KrossKube is a Model-Driven Engineering (MDE) solution to generate high-level Custom Resource Definition (CRD) manifests for standardized, multi-cluster management of the base Kubernetes-native resources.

This project serves as a reference implementation of an abstract syntax specification for bigraphs.