| Vol-2550 urn:nbn:de:0074-2550-6 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).

# TTC 2019
Transformation Tool Contest

### Proceedings of the 12th Transformation Tool Contest
co-located with the 2019 Software Technologies: Applications and Foundations (STAF 2019)

### Eindhoven, The Netherlands, July 19, 2019.

Edited by

### Antonio Garcia-Dominguez *
Georg Hinkel **
Filip Křikava ***

* Aston University, United Kingdom
** Tecan Software Competence Center, Germany
*** Czech Technical University, Czech Republic

## Table of Contents

- Preface

### Truth Tables to Binary Decision Diagrams

- Truth Tables to Binary Decision Diagrams 3-7
  Antonio Garcia-Dominguez, Georg Hinkel
- An NMF Solution to the TTC 2019 Truth Tables to Binary Decision Diagrams Case 9-13
  Georg Hinkel
- The Fulib Solution to the TTC 2019 Truth Table to Binary Decision Diagram Case 15-19
  Albert Zündorf
- YAMTL Solution to the TTC 2019 TT2BDD Case 21-25
  Artur Boronat
- Transforming Truth Tables to Binary Decision Diagrams Using Relational Reference Attribute Grammars 27-32
  Johannes Mey, René Schöne, Christopher Werner, Uwe Aßmann
- Applying Formal Reasoning to Model Transformation: The Meeduse solution 33-44
  Akram Idani, German Vega, Michael Leuschel
- Transforming Truth Tables to Binary Decision Diagrams Using the Role-based Synchronization Approach 45-50
  Christopher Werner, Rico Bergmann, Johannes Mey, René Schöne, Uwe Aßmann
- Truth Tables to Binary Decision Diagrams in Modern ATL 51-58
  Dennis Wagelaar, Théo Le Calvar, Frédéric Jouault

### BibtexXML to Docbook Consistency Case Live Case

- The TTC 2019 Live Case: BibTeX to DocBook 61-65
  Antonio Garcia-Dominguez, Georg Hinkel
- An NMF Solution to the TTC 2019 Live Case 67-72
  Georg Hinkel
- YAMTL Solution to the TTC 2019 BibtexToDocBook Case 73-77
  Artur Boronat

The whole proceedings can also be downloaded as a single file: complete proceedings in one ZIP file.

2020-01-20: submitted by Filip Křikava, metadata incl. bibliographic data published under Creative Commons CC0
2020-02-10: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|