BXtendDSL at Work: Combining Declarative and Imperative Programming of Bidirectional Model Transformations

Model transformations are a major driving force behind model-driven software development (MDSD), when typically an initial model is refined throughout the development process over several steps until eventually code is generated. Strict forward engineering processes require unidirectional model tran...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:SN computer science Ročník 4; číslo 1; s. 50
Hlavní autoři: Buchmann, Thomas, Bank, Matthias, Westfechtel, Bernhard
Médium: Journal Article
Jazyk:angličtina
Vydáno: Singapore Springer Nature Singapore 11.11.2022
Springer Nature B.V
Témata:
Back propagation
Behavior
Case studies
Computer Imaging
Computer Science
Computer Systems Organization and Communication Networks
Data Structures and Information Theory
Declarative programming
Imperative programming
Information Systems and Communication Service
Language
Model-Driven Engineering and Software Development
Original Research
Pattern Recognition and Graphics
Programming languages
Software development
Software engineering
Software Engineering/Programming and Operating Systems
Vision
Weight reduction
Bidirectional transformation
Model transformation
Incremental transformation
ISSN:2661-8907, 2662-995X, 2661-8907
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Model transformations are a major driving force behind model-driven software development (MDSD), when typically an initial model is refined throughout the development process over several steps until eventually code is generated. Strict forward engineering processes require unidirectional model transformations, where an initial requirements model is refined through various model transformation steps. Roundtrip engineering on the other hand calls for bidirectional and incremental model transformations instead, where changes may be propagated back and forth while retaining manual modifications to the models involved. In this paper, we present BXtendDSL, a framework for bidirectional incremental model transformations. BXtendDSL combines two languages: a light-weight declarative language for defining correspondences between model elements, and an imperative language that allows to implement behavior that cannot be specified in the declarative language. We demonstrate our approach by a case study. We also include an evaluation of this case study that demonstrates conciseness, expressiveness, and scalability of our hybrid approach.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2661-8907
2662-995X
2661-8907
DOI:10.1007/s42979-022-01448-8