The notion of model transformation intent is proposed to capture the purpose of a
transformation. In this paper, a framework for the description of model transformation intents …

As with other software development artifacts, model transformations are not bug-free and so
must be systematically verified. Their nature, however, means that transformations require …

Within the Model-Driven Engineering paradigm, software development is based on the
definition of models providing different views of the system to be constructed and model …

In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …

Abstract Model transformations are central components of most model-based software
projects. While ensuring their correctness is vital to guarantee the quality of the solution …

One of the main goals of model-driven engineering is the manipulation of models as
exclusive software artifacts. Model execution is in particular a means to substitute models for …

Development and application of formal languages are a long-standing challenge within the
computer science domain. One particular challenge is the acceptance of industry. This …

The correctness of model transformations is key to obtain reliable MDE solutions. However,
current transformation tools provide limited support to statically detect and correct errors …

Abstract Model-Driven Engineering places models as first-class artifacts throughout the
software lifecycle requiring the availability of proper transformation languages. Although …

Model transformations, together with models, form the principal artifacts in model-driven
software development. Industrial practitioners report that transformations on larger models …