Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation. However, model transformations dealing with very large models, such as those used in biology or aerospace applications, require concurrent solutions in order to speed up their...
-
April 30, 2018 (v1)PublicationUploaded on: December 4, 2022
-
April 24, 2018 (v1)Publication
Model transformation is a key technique to automate software engineering tasks, such as generating implementations of software systems from higher-level models. To enable this automation, transformation engines are used to synthesize various types of software artifacts from models, where the rules according to which these artifacts are...
Uploaded on: March 27, 2023 -
April 23, 2018 (v1)Publication
As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. This is required, e.g., when model transformations need to provide target models without having access to the complete source models or in really short time—as it happens, e.g., with streaming models—or with very large models...
Uploaded on: December 4, 2022 -
April 23, 2018 (v1)Publication
As the complexity of model transformations grows, there is an increasing need to count on methods, mechanisms, and tools for checking their correctness, i.e., the alignment between specifications and implementations. In this paper we present a light-weight and static approach for locating the faulty rules in model transformations, based on...
Uploaded on: March 27, 2023 -
September 15, 2019 (v1)Conference paper
Existing design processes typically begin with informal ideation by sketching out a basic approach that can be further developed into a more complete design. Although intuitively simple, and seemingly informal, the sketching process is actually a structured activity that strongly influences the design of the system; hence, it has an important...
Uploaded on: December 4, 2022 -
April 19, 2018 (v1)Publication
Nowadays there exists a wide variety of model transforma-tion languages. However, all of them present limitations, mainly performance issues, when the complexity and size of model transformations and models grow. The problems arise due to the in-memory allocation of large models as well as the time taken by the execution engines for producing...
Uploaded on: December 4, 2022 -
April 24, 2018 (v1)Publication
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, we present TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model,...
Uploaded on: December 4, 2022 -
April 20, 2018 (v1)Publication
As software systems have grown large and complex in the last few years, the problems with which Model-Driven Development has to cope have increased at the same pace. In particular, the need to improve the performance and scalability of model transformations has become a critical issue. In previous work we introduced LinTra, a model...
Uploaded on: December 4, 2022