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.

Additional Information: 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).
Uncontrolled Keywords: Computer Science(all)
Publication ISSN: 1613-0073
Last Modified: 04 Mar 2024 18:50
Date Deposited: 29 Oct 2020 10:14
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
http://ceur-ws.org/Vol-2550/ (Publisher URL)
PURE Output Type: Conference article
Published Date: 2020-02-10
Accepted Date: 2019-07-01
Authors: García-Domínguez, Antonio (ORCID Profile 0000-0002-4744-9150)
Hinkel, Georg

Download

[img]

Version: Published Version

License: Creative Commons Attribution

| Preview

Export / Share Citation


Statistics

Additional statistics for this record