Truth tables to binary decision diagrams

Antonio García-Domínguez; Georg Hinkel

Truth tables to binary decision diagrams

Antonio García-Domínguez, Georg Hinkel

Research output: Contribution to journal › Conference article › peer-review

Abstract

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 language	English
Pages (from-to)	3-7
Number of pages	5
Journal	CEUR Workshop Proceedings
Volume	2550
Publication status	Published - 10 Feb 2020
Event	12th 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).

Access to Document

Truth Tables to Binary Decision Diagrams
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).
Final published version, 1.09 MBLicence: CC BY 3.0

Cite this

@article{d7e88bdd66d44885928210c0e75778a7,

title = "Truth tables to binary decision diagrams",

abstract = "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.",

author = "Antonio Garc{\'i}a-Dom{\'i}nguez and Georg Hinkel",

note = "Copyright {\textcopyright} 2019 for the individual papers by the papers' authors. Copyright {\textcopyright} 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).; 12th Transformation Tool Contest, TTC 2019 ; Conference date: 19-07-2019",

year = "2020",

month = feb,

day = "10",

language = "English",

volume = "2550",

pages = "3--7",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS.org",

}

TY - JOUR

T1 - Truth tables to binary decision diagrams

AU - García-Domínguez, Antonio

AU - Hinkel, Georg

N1 - 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).

PY - 2020/2/10

Y1 - 2020/2/10

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85079737698&partnerID=8YFLogxK

UR - http://ceur-ws.org/Vol-2550/

M3 - Conference article

AN - SCOPUS:85079737698

SN - 1613-0073

VL - 2550

SP - 3

EP - 7

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 12th Transformation Tool Contest, TTC 2019

Y2 - 19 July 2019

ER -

Truth tables to binary decision diagrams

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this