The TTC 2019 Live case: BibTex to docbook

Antonio García-Domínguez, Georg Hinkel

    Research output: Contribution to journalConference articlepeer-review


    The initial transformation of a model into another model is only the first step. After the creation of the target model, it may be manually changed and the consistency with the source model may be lost or obscured. Ideally, transformation tools should have a way to check the degree of consistency between the source model and the current version of the destination model. This case presents such a scenario for a small transformation, with an automated mutation tool which will introduce changes that may or may not impact consistency. The aim of this case is to evaluate the speed and verbosity of the inter-model consistency checking in the state of the art.

    Original languageEnglish
    Pages (from-to)61-65
    Number of pages5
    JournalCEUR Workshop Proceedings
    Publication statusPublished - 10 Feb 2020
    Event12th Transformation Tool Contest, TTC 2019 - Eindhoven, Netherlands
    Duration: 19 Jul 2019 → …

    Bibliographical note

    Copyright © 2019 for the individual papers by the papers' authors. Copyright © 2019 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).


    Dive into the research topics of 'The TTC 2019 Live case: BibTex to docbook'. Together they form a unique fingerprint.

    Cite this