Meta-Model validation and verification with MetaBest
Jesús J. López-Fernández, Esther Guerra, Juan D. Lara · 2014
Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstract syntax of Domain-Specific Modelling Languages, and so models and all sorts of model transformations depend on them. However, there are scarce tools and methods supporting their validation and verification, which are essential activities for the proper engineering of meta-models.