The TTC 2019 Live case:BibTex to docbook


The initial transformation of a model into another model is only the first step. After the creation of the target model, it may be manually changed and the consistency with the source model may be lost or obscured. Ideally, transformation tools should have a way to check the degree of consistency between the source model and the current version of the destination model. This case presents such a scenario for a small transformation, with an automated mutation tool which will introduce changes that may or may not impact consistency. The aim of this case is to evaluate the speed and verbosity of the inter-model consistency checking in the state of the art.

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: 05 Mar 2024 08:12
Date Deposited: 29 Oct 2020 09:34
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL) (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



Version: Published Version

License: Creative Commons Attribution

| Preview

Export / Share Citation


Additional statistics for this record