Projects   
   

Projects

Next-Gen Tooling (December 2018)

Roadmapping for the Design & Optimisation (D&O) Cluster (July-September 2018)

Efficient Software Controller Variant Development and Validation (ECoVaDeVa) (April 2018 - now)

The Explicit Modelling of Model Debugging and Experimentation (October 2013 - March 2018)

Accepted IWT Proposal.

Explicit Modelling of a "Bouncing Balls" application using SCCDXML and Tkinter

This environment is based on the following example using SVG and SCCDXML: https://gwd.dyn.mk/public/sccd/svgdemo. Due to limitations of Tkinter, I implemented a slightly different version. The following actions are allowed:
  • Right-click anywhere on the canvas to create a new ball, on the position of the mouse cursor.
  • Left-click on a ball to select it. The ball will stop moving and its color will change to yellow.
  • Left-click and drag a selected ball to move it around the canvas. Releasing will change the color of the ball to red, and it returns to its normal behaviour.
  • Press the delete key to remove all selected balls.
You can download the full solution here.
  • To compile the SCCDXML file, run the following command: python python_sccd_compiler/sccdc.py bouncing_tkinter.xml -p eventloop from within the BouncingBalls directory.
  • To run the program, execute python runner.py.

Explicit Modelling of a CBD Experimentation Environment

Article: http://dl.acm.org/citation.cfm?id=2665021

Explicit Modelling of a Parallel DEVS Experimentation Environment

  • Techreport: PDF
  • Implementation: ZIP

Language Engineering

Multi-level Modelling in the Modelverse

Article: http://miso.es/multi/2014/proceedings_MULTI.pdf#page=89

Evolution of Domain-Specific Languages

Literature Review.
Enabling Technology (Mapping ArkM3 constructs on Himesis).
Model Transformation for Modelling Language Evolution (Thesis).

Adding Rule-Based Model Transformation to Modelling Languages in MetaEdit+

This project adds model transformation to modelling languages in the commercial metamodelling tool MetaEdit+. Details can be found in the following files:

Projects in AToMPM

Amongst other projects, I'm also working on the improvement of AToMPM. I have worked on several (small) projects in AToMPM, which are explained below.

Code Generation of Class Diagrams in AToMPM

To support the design of object-oriented systems in AToMPM and the automatic generation of source code, I have created a ClassDiagram formalism in AToMPM and added functionality to generate code from the models created with this formalism. Details of this project can be found in this PDF document.

Higher-Order Transformations in AToMPM

Higher-Order Transformations, or HOTs, were not supported by the RAMification process which was implemented (hard-coded) in AToMPM. In this project, I have modelled the RAMification process explicitely and modified such that it can be used to model higher-order transformations correctly. The project report can be downloaded here.

Version Control in AToMPM

One of the challenges of the model-driven engineering approach is to provide native support for version controlling models. This project proposes an architecture for a version control system implemented in AToMPM. The project report can be downloaded here.

A document describing the requirements for the version control system can be downloaded here.
Maintained by Simon Van Mierlo.