DSLTrans: A Turing Incomplete Transformation Language

Vasco Miguel Moreira do Amaral

doi:10.1007/978-3-642-19440-5_19

DSLTrans: A Turing Incomplete Transformation Language

Vasco Miguel Moreira do Amaral

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

28 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 language	Unknown
Title of host publication	Lecture Notes in Computer Science
Pages	296-305
DOIs	https://doi.org/10.1007/978-3-642-19440-5_19
Publication status	Published - 1 Jan 2010
Event	Software Language Engineering (SLE) - Duration: 1 Jan 2010 → …

Conference

Conference	Software Language Engineering (SLE)
Period	1/01/10 → …

Access to Document

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

Cite this

@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 = jan,

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",

note = "Software Language Engineering (SLE) ; Conference date: 01-01-2010",

}

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

T2 - Software Language Engineering (SLE)

Y2 - 1 January 2010

ER -