The TTC 2019 Live case: BibTex to docbook

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