Tiwizi

TIWIZI is a fault localizer for debugging meta-models. The main purpose of the tool is to help users during the task of meta-model design.

The input of the tool are:

  • Meta-model (.ecore file)
  • Candidates values: they consists of two different parameters:
    1. Bounds for unbounded references
    2. Number of wished instances for each class.

The role of TIWIZI is to check that the meta-model and its candidate values are consistant, i.e., it is possible to generate at least one instance of the meta-model using these candidate values.

The tool answers yes or gives a list of fixing suggestions to correct the meta-model or to modify the candidate values.


Get it & use it

Read the full description of TIWIZI

Download or clone the github repository


Publications

  • [PDF] A. Ferdjoukh and J. Mottu, “Towards an automated fault localizer while designing meta-models,” in Mdebug@models, international workshop on debugging in model-driven engineering, 2018.
    [Bibtex]
    @inproceedings{ferdjoukh18c,
    author={Ferdjoukh, Adel and Mottu, Jean-Marie},
    booktitle={MDEbug@MODELS, International Workshop on Debugging in Model-Driven Engineering},
    title={Towards an Automated Fault Localizer while Designing Meta-models},
    year={2018},
    note={To appear},
    pdf={/wp-content/uploads/pdf/ferdjoukh18c.pdf}
    }