Search
Search Results
-
Improving repair of semantic ATL errors using a social diversity metric
Model transformations play an essential role in the model-driven engineering paradigm. However, writing a correct transformation requires the user to...
-
AnATLyzer: Static Analysis of ATL Model Transformations
This chapter presents AnATLyzer—a tool for the static analysis of the ATL model transformation language. AnATLyzer is able to statically detect more... -
Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size
Model transformations are among the key concepts of model-driven engineering (MDE), and dedicated model transformation languages (MTLs) emerged with...
-
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation....
-
A generic LSTM neural network architecture to infer heterogeneous model transformations
Models capture relevant properties of systems. During the models’ life-cycle, they are subjected to manipulations with different goals such as...
-
Coupling solvers with model transformations to generate explorable model sets
Model transformation is an effective technique to produce target models from source models. Most transformation approaches focus on generating a...
-
A generic approach to detect design patterns in model transformations using a string-matching algorithm
Maintaining software artifacts is a complex and time-consuming task. Like any other program, model transformations are subject to maintenance. In a...
-
MUPPIT: a method for using proper patterns in model transformations
Model transformation plays an important role in develo** software systems using the model-driven engineering paradigm. Examples of applications of...
-
Integrating Computational Design Support in Model-Based Systems Engineering Using Model Transformations
Model-based systems engineering (MBSE) combines the rigor of systems engineering with formal models to support communication in multidisciplinary... -
Using two case studies to explore the applicability of VIATRA for the model-driven engineering of mechatronic production systems
The engineering of mechatronic production systems is complex and requires various disciplines (e.g., systems, mechanical, electrical and software...
-
Multi-label image recognition with attentive transformer-localizer module
Recently, remarkable progress on multi-label image classification has been achieved by locating semantic-agnostic image regions and extracting their...
-
Develo** a Projection Approach to DSL Development
This chapter proposes the author’s solution to the problem posed in Chap. 2 of develo** a generalized... -
A source model simplification method to assist model transformation debugging
Model transformation, which is a program targeting at transforming an input model to an output model, has been a critical basis for Model-Driven...
-
Multi-criteria test cases selection for model transformations
Model transformations play an important role in the evolution of systems in various fields such as healthcare, automotive and aerospace industry....
-
Traceability and reuse mechanisms, the most important properties of model transformation languages
ContextDedicated model transformation languages are claimed to provide many benefits over the use of general purpose languages for develo** model...
-
Towards language-to-language transformation
This paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key...
-
A Concrete Syntax Transformation Approach for Software Language Processing
In this paper we present an approach for software language processing tasks such as code generation, reverse-engineering and refactoring, based upon...
-
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
Model-driven engineering involves the construction of models on different levels of abstraction. Software engineers are supported by model...
-
Metamorphic Testing in Fault Localization of Model Transformations
Model transformations are cornerstone elements of Model Driven Engineering (MDE), and their quality directly affects the successful application of... -
Creating Web Decision-Making Modules on the Basis of Decision Tables Transformations
Creating embedded decision-making modules for web applications that implement artificial intelligence methods in the form of knowledge bases is quite...