Truth tables to binary decision diagrams

Antonio García-Domínguez, Georg Hinkel

    Research output: Contribution to journalConference articlepeer-review


    Model transformation tools have reached a considerable level of maturity in the core features, and are currently developing in many directions. Some tools are focusing on providing higher performance for large models or complex transformations. Others focus on bidirectionality, visualisation, traceability, or verifiability, among other research directions. Whereas past cases in TTC have focused on specific research directions, this case study presents a well-known simple transformation and welcomes researchers to apply their research to it. The aim of this case is to serve as a showcase of the various directions that model transformation research is going towards at the moment.

    Original languageEnglish
    Pages (from-to)3-7
    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 'Truth tables to binary decision diagrams'. Together they form a unique fingerprint.

    Cite this