DSLTrans: A Turing Incomplete Transformation Language

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)

Abstract

In this paper we present DSLTrans: a visual language and a tool for model transformations. We aim at tackling a couple of important challenges in model transformation languages — transformation termination and confluence. The contribution of this paper is the proposition of a transformation language where all possible transformations are guaranteed to be terminating and confluent by construction. The resulting transformation language is simple, turing incomplete and includes transformation abstractions to support transformations in a software language engineering context. Our explanation of DSLTrans includes a complete formal description of our visual language and its properties.
Original languageUnknown
Title of host publicationLecture Notes in Computer Science
Pages296-305
DOIs
Publication statusPublished - 1 Jan 2010
EventSoftware Language Engineering (SLE) -
Duration: 1 Jan 2010 → …

Conference

ConferenceSoftware Language Engineering (SLE)
Period1/01/10 → …

Cite this

Amaral, Vasco Miguel Moreira do. / DSLTrans: A Turing Incomplete Transformation Language. Lecture Notes in Computer Science. 2010. pp. 296-305
@inproceedings{df6a81e5131b4e1382858754dc1fb7bd,
title = "DSLTrans: A Turing Incomplete Transformation Language",
abstract = "In this paper we present DSLTrans: a visual language and a tool for model transformations. We aim at tackling a couple of important challenges in model transformation languages — transformation termination and confluence. The contribution of this paper is the proposition of a transformation language where all possible transformations are guaranteed to be terminating and confluent by construction. The resulting transformation language is simple, turing incomplete and includes transformation abstractions to support transformations in a software language engineering context. Our explanation of DSLTrans includes a complete formal description of our visual language and its properties.",
author = "Amaral, {Vasco Miguel Moreira do}",
year = "2010",
month = "1",
day = "1",
doi = "10.1007/978-3-642-19440-5_19",
language = "Unknown",
isbn = "978-3-642-19439-9",
pages = "296--305",
booktitle = "Lecture Notes in Computer Science",

}

Amaral, VMMD 2010, DSLTrans: A Turing Incomplete Transformation Language. in Lecture Notes in Computer Science. pp. 296-305, Software Language Engineering (SLE), 1/01/10. https://doi.org/10.1007/978-3-642-19440-5_19

DSLTrans: A Turing Incomplete Transformation Language. / Amaral, Vasco Miguel Moreira do.

Lecture Notes in Computer Science. 2010. p. 296-305.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - DSLTrans: A Turing Incomplete Transformation Language

AU - Amaral, Vasco Miguel Moreira do

PY - 2010/1/1

Y1 - 2010/1/1

N2 - In this paper we present DSLTrans: a visual language and a tool for model transformations. We aim at tackling a couple of important challenges in model transformation languages — transformation termination and confluence. The contribution of this paper is the proposition of a transformation language where all possible transformations are guaranteed to be terminating and confluent by construction. The resulting transformation language is simple, turing incomplete and includes transformation abstractions to support transformations in a software language engineering context. Our explanation of DSLTrans includes a complete formal description of our visual language and its properties.

AB - In this paper we present DSLTrans: a visual language and a tool for model transformations. We aim at tackling a couple of important challenges in model transformation languages — transformation termination and confluence. The contribution of this paper is the proposition of a transformation language where all possible transformations are guaranteed to be terminating and confluent by construction. The resulting transformation language is simple, turing incomplete and includes transformation abstractions to support transformations in a software language engineering context. Our explanation of DSLTrans includes a complete formal description of our visual language and its properties.

U2 - 10.1007/978-3-642-19440-5_19

DO - 10.1007/978-3-642-19440-5_19

M3 - Conference contribution

SN - 978-3-642-19439-9

SP - 296

EP - 305

BT - Lecture Notes in Computer Science

ER -