Meta-Model validation and verification with MetaBest

Jesús J. López-Fernández, Esther Guerra, Juan de Lara

Abstract

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.

BibTeX

@inproceedings{LopezFernandez-al:ASE14,
  author    = {Jes{\'{u}}s J. L{\'{o}}pez{-}Fern{\'{a}}ndez and
               Esther Guerra and
               Juan de Lara},
  title     = {{Meta-Model} validation and verification with {MetaBest}},
  booktitle = {ASE},
  pages     = {831--834},
  publisher = {{ACM}},
  year      = {2014},
}

Meta-Model validation and verification with MetaBest

Abstract

Related papers