This research aims to build a foundation for Multi-Paradigm Modelling in the form of the ModelVerse, a conceptual framework and a repository of multi-paradigm models. This forms the basis for distributed, collaborative modelling of systems as well as of the modelling languages used. To explicitly model modelling languages, their concrete and abstract syntax needs to be modelled (the latter in the form of meta-models), as well as their semantics. For semantics, either an interpreter/simulator needs to be provided or a mapping (transformation) to an already known formalism needs to be specified. The ModelVerse supports model manipulations such as documentation, analysis, simulation, (software) synthesis and evolution. All are based on model transformation.
This project is funded by the Fonds Wetenschappelijk Onderzoek - Vlaanderen (FWO).