Boronat_TTC19.pdf (413 kB)
Download file

YAMTL solution to the TTC 2019 TT2BDD case

Download (413 kB)
conference contribution
posted on 04.08.2022, 10:39 authored by A Boronat

In this paper, we present a solution for the TTC’19 TT2BDD case [GDH19], where a set of boolean functionsrepresented in a truth table with several input ports and several output ports is to be represented using binarydecision diagrams (BDDs) [Bry86]. Our solution1is implemented using YAMTL [Bor18], an internal DSL ofXtend2that enables the use of model-to-model transformation within JVM programs, and produces a targetmodel containing one reduced ordered BDD (ROBDD) [Bry86, Bry92] per boolean function3, whose signature isgiven by the input ports and by one output port in the source truth table. In the rest of the paper, we discussrelevant aspects of our solution and we evaluate it according to the criteria proposed in the case.

History

Author affiliation

School of Computing and Mathematical Sciences, University of Leicester

Source

TTC 2019 Transformation Tool Contest Eindhoven, The Netherlands, July 19, 2019.

Version

VoR (Version of Record)

Published in

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

Volume

2550

Pagination

21 - 25

Publisher

CEUR-WS.org

issn

1613-0073

Copyright date

2020

Available date

04/08/2022

Editors

García-Domínguez A; Hinkel G; Krikava F

Language

en

Usage metrics

Categories

Licence

Exports