Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/39895
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBoronat, Artur-
dc.date.accessioned2017-06-13T11:43:02Z-
dc.date.available2017-07-18T01:45:07Z-
dc.date.issued2017-07-17-
dc.identifier.citationBoronat, 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)en
dc.identifier.isbn978-3-319-61472-4-
dc.identifier.issn0302-9743-
dc.identifier.urihttps://link.springer.com/chapter/10.1007/978-3-319-61473-1_1en
dc.identifier.urihttp://hdl.handle.net/2381/39895-
dc.description.abstractFormal 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.en
dc.language.isoenen
dc.publisherSpringer Verlag (Germany)-
dc.rightsCopyright © 2017, Springer Verlag (Germany). Deposited with reference to the publisher’s open access archiving policy.en
dc.subjectATLen
dc.subjectbig-step semanticsen
dc.subjectmodel transformationen
dc.subjectMaudeen
dc.titleExperimentation with a Big-Step Semantics for ATL Model Transformationsen
dc.typeConference Paperen
dc.identifier.doi10.1007/978-3-319-61473-1_1-
dc.description.versionPost-printen
dc.description.presentedICMT ’17: 10th International Conference on Model Transformation, Marburgen
dc.date.end2017-07-18-
dc.date.start2017-07-17-
pubs.organisational-group/Organisationen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERINGen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Scienceen
dc.identifier.eisbn978-3-319-61473-1-
dc.dateaccepted2017-04-07-
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.