YAMTL solution to the TTC 2019 bibtextodocbook case

Model-to-model transformations are often used to define consistency maintainers between metamodels. When these are executed incrementally, only the part of the model transformation that is affected by model updates is executed. The TTC2019 BibTeX2DocBook case proposes to evaluate mechanisms for avoiding the situation where updates, to DocBook models, introduce undesirable inconsistencies that are not valid according to the transformation. In this paper, we present the application of an inconsistency specification language, available within YAMTL, for locating when a model update yields illegal changes that break the consistency relation defined by a YAMTL model-to-model transformation. Moreover, a re-implementation of the reference ATL transformation in YAMTL is presented and compared against the most efficient transformation engine for ATL.