The TTC 2019 Live case:BibTex to docbook

Abstract

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.

Divisions: College of Engineering & Physical Sciences > Computer Science
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)
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