Please use this identifier to cite or link to this item:
Title: Experimentation with a Big-Step Semantics for ATL Model Transformations
Authors: Boronat, Artur
First Published: 17-Jul-2017
Presented at: ICMT ’17: 10th International Conference on Model Transformation, Marburg
Start Date: 17-Jul-2017
End Date: 18-Jul-2017
Publisher: Springer Verlag (Germany)
Citation: Boronat, A., 'Experimentation with a Big-Step Semantics for ATL Model Transformations', 10th International Conference on Model Transformation, July 17-18, 2017, Marburg Lecture Notes in Computer Science book series (LNCS, volume 10374)
Abstract: Formal semantics is a convenient tool to equip a model transformation language with precise meaning for its model transformations. Hence, clarifying their usage in complex scenarios and helping in the development of robust model transformation engines. In this paper, we focus on the formal specification of a model transformation engine for the declarative part of ATL. We present an implementation-agnostic, big-step, structural operational semantics for ATL transformation rules and a rule scheduler, which form the specification of an interpreter for ATL. Hence, avoiding a complex compilation phase. The resulting semantics for rules enjoys a compositional nature and we illustrate its advantages by reusing an interpreter for OCL. The semantics discussed has been validated with the implementation of an interpreter in Maude, enabling the execution of model transformations and their formal analysis using Maude’s toolkit. We also present an evaluation of the interpreter’s performance and scalability.
DOI Link: 10.1007/978-3-319-61473-1_1
ISSN: 0302-9743
ISBN: 978-3-319-61472-4
Version: Post-print
Type: Conference Paper
Rights: Copyright © 2017, Springer Verlag (Germany). Deposited with reference to the publisher’s open access archiving policy.
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
Boronat_ICMT17.pdfPost-review (final submitted author manuscript)676.92 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.