Towards Combinators for Bidirectional Model Transformations in Scala

Wider, Arif

doi:10.1007/978-3-642-28830-2_21

Cited by 4 publications

(4 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, the advantages of our declarative approach can be leveraged in conjunction with special (often more declarative) transformation languages for bidirectional model transformations. Therefore, our approach should benefit from ongoing research in that area [19,3,14].…”

Section: Discussionmentioning

confidence: 99%

“…For refactorings we favor asymmetric bidirectional model transformations (more specifically lenses). This specific kind of bidirectional model transformation fits the needs of a model-view-synchronization [14]. Lenses, as introduced by Pierce et al [15], are asymmetric bidirectional transformations, i.e., one of the two structures that are synchronized has to be an abstraction of the other.…”

Section: Asymmetric Bidirectional Transformationsmentioning

confidence: 99%

“…The combinator-based approach of lenses that was presented by Pierce et al is especially strong in such a scenario. Therefore, we are working on an implementation of such combinatorbased lenses that integrate well with EMF-based technologies [14] and work on an implementation of our refactoring approach using these lenses.…”

Section: Alternative Implementation Approachesmentioning

confidence: 99%

See 2 more Smart Citations

Refactorings in Language Development with Asymmetric Bidirectional Model Transformations

Schmidt

Wider

Scheidgen

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Software language descriptions comprise several heterogeneous interdependent artifacts that cover different aspects of languages (abstract syntax, notation and semantics). The dependencies between those artifacts demand the simultaneous adaptation of all artifacts when the language is changed. Changes to a language that do not change semantics are referred to as refactorings. This class of changes can be handled automatically by applying predefined types of refactorings. Refactorings are therefore considered a valuable tool for evolving a language. We present a model transformation based approach for the refactoring of software language descriptions. We use asymmetric bidirectional model transformations to synchronize the various artifacts of language descriptions with a refactoring model that contains all elements that are changed in a particular refactoring. This allows for automatic, type-safe refactorings that also includes the language tooling. We apply this approach to an Ecore, Xtext, Xtend based language description and describe the implementation of a non-trivial refactoring.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Asymmetric Bidirectional Transformationsmentioning

confidence: 99%

Section: Alternative Implementation Approachesmentioning

confidence: 99%

See 1 more Smart Citation

Refactorings in Language Development with Asymmetric Bidirectional Model Transformations

Schmidt

Wider

Scheidgen

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…However their internal DSL is not completely type safe and they represent transformation rules directly as anonymous classes, which limits their modularity and reusability. Wider [44] presents an interesting approach to bidirectional model transformations by embedding lenses (a combinator-based approach to bidirectional term-transformations) into Scala and showed how they can be used in an MDE context. Akehurst et al [11] developed a Java library for simple imperative M2M transformations.…”

Section: Eglmentioning

confidence: 99%

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations

Křikava

Collet

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Model manipulation environments automate model operations such as model consistency checking and model transformation. A number of external model manipulation Domain-Specific Languages (DSL) have been proposed, in particular for the Eclipse Modeling Framework (EMF). While their higher levels of abstraction result in gains in expressiveness over general-purpose languages, their limitations in versatility, performance, and tool support together with the need to learn new languages may significantly contribute to accidental complexities. In this paper, we present Sigma, a family of internal DSLs embedded in Scala for EMF model consistency checking, model-to-model and modelto-text transformations. It combines the benefits of external model manipulation DSLs with general-purpose programming taking full advantage of Scala versatility, performance and tool support. The DSLs are compared to the state-of-the-art Epsilon languages in non-trivial model manipulation tasks that resulted in 20% to 70% reduction in code size and significantly better performance.

show abstract