Survey and classification of model transformation tools

Kahani, Nafıseh; Bagherzadeh, Mojtaba; Cordy, James R.; Dingel, Juergen; Varró, Dániel

doi:10.1007/s10270-018-0665-6

Cited by 104 publications

(72 citation statements)

References 83 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This evaluation is limited to popular tools in order to keep the evaluation and this article simple. These tools were chosen also because this set is a good representative of the current status of MDE-supporting tools currently available, they also presented enough differences amongst themselves to justify their inclusion in this evaluation [5]. Although these tools do not reflect everything that is currently available in MDE tools, they address the MDE based approaches defined earlier by providing the features that can often be found in typical tools of their corresponding approach.…”

Section: The Evaluation Resultsmentioning

confidence: 99%

“…Tools that proclaimed MDE are distributed among powerful commercial tools and university prototypes sometimes difficult to download and test. The following list shows some of the most popular among these tools [5]: Table 1. Most popular MDE Tools [5,8,9,15].…”

Section: Tools Supporting Model Driven Engineeringmentioning

confidence: 99%

“…The following list shows some of the most popular among these tools [5]: Table 1. Most popular MDE Tools [5,8,9,15].…”

Section: Tools Supporting Model Driven Engineeringmentioning

confidence: 99%

See 2 more Smart Citations

Model Driven Engineering (MDE) Tools: A Survey

Soukaina¹

2018

AJSET

View full text Add to dashboard Cite

Model Driven Engineering (MDE) is a new discipline in software engineering that advocates the massive use of models throughout the software development process. The emergence of this discipline has been accompanied by the prosperity of the tools that support it. On the long run, switching to MDE can be beneficial in case the process works, and the process itself depends on the tools. Since the transition is expensive, it is important to invest wisely, and choose the right tool. However, only recently tool creators have started considering metamodeling as an important issue in their list of concerns and university prototypes are sometimes difficult to download and test, so these tools remain little known overall and need to be listed. The aim of this article is to determine the strengths and weaknesses of the support that each of these MDE tools offer to the developer's tasks, in order to learn to identify the right tool that meets the specific needs of the software engineer, without recommending any particular tool or vendors: It will present a significant number of the most popular MDE tools, in order to keep this paper simple, list some criteria for comparing these tools and evaluate them against those criteria.

show abstract

Section: The Evaluation Resultsmentioning

confidence: 99%

Section: Tools Supporting Model Driven Engineeringmentioning

confidence: 99%

See 1 more Smart Citation

Model Driven Engineering (MDE) Tools: A Survey

Soukaina¹

2018

AJSET

View full text Add to dashboard Cite

show abstract

“…Discussing all of them is beyond the scope of this paper. The interested reader is referred to [22] for a thorough comparison. Henceforth, we only discuss approaches for incremental model queries and validation.…”

Section: Related Workmentioning

confidence: 99%

“…With current software systems increasing in complexity and rate of change [28], these models become more complex and change continuously, too. While maintaining and refining complex models is possible with state-of-the-art tools [22], their continuous evaluation and validation still poses problems for large complex models.…”

Section: Introductionmentioning

confidence: 99%

Continuous model validation using reference attribute grammars

Mey

Schöne

Hedin

et al. 2018

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering

View full text Add to dashboard Cite

Just like current software systems, models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated and validated. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform an incremental analysis efficiently using dynamic dependency tracking. However, not all features used in conceptual modelling are directly available in RAGs. In particular, support for non-containment model relations is only available through manual implementation. We present an approach to directly model uni-and bidirectional non-containment relations in RAGs and provide efficient means for navigating and editing them. This approach is evaluated using a scalable benchmark for incremental model editing and the JastAdd RAG system. Our work demonstrates the suitability of RAGs for validating complex and continuously changing models of current software systems. CCS Concepts • Theory of computation → Grammars and context-free languages; • Software and its engineering → System description languages; • Computing methodologies → Model verification and validation;

show abstract

An automated search‐based test model generation approach for structural testing of model transformations

Jilani

Iqbal

Usman

2022

J Software Evolu Process

View full text Add to dashboard Cite

Model transformation testing has become crucial as model‐driven engineering has raised the abstraction level for developing software systems. Transformation is written to transform models from one level of abstraction to another, for example, model to model or model to code. A major challenge in testing the transformation is the creation of test models, such that (i) they conform to the source meta‐model (i.e., multiplicities and Object Constraint Language [OCL] constraints on meta‐model) and (ii) they provide coverage of the complete transformation (solving branch conditions for traversing all paths). Manual creation of test models requires a lot of time and effort. Still, the validity of the developed test models cannot be ensured. This paper aims to solve the above challenges using an automated search‐based strategy. The proposed approach is two‐stepped. First, valid test models are generated by solving source meta‐model constraints. Second, the generated models are evolved for achieving the structural coverage of the transformation by solving the branch conditions. A toolset model transformation testing environment (MOTTER) is developed to automate the search‐based solution. The proposed work is empirically evaluated on two case studies using four search algorithms. The result reflects that it successfully generates valid test models for achieving desired structural coverage with high performance on both the case studies.

show abstract

Survey and classification of model transformation tools

Cited by 104 publications

References 83 publications

Model Driven Engineering (MDE) Tools: A Survey

Model Driven Engineering (MDE) Tools: A Survey

Continuous model validation using reference attribute grammars

An automated search‐based test model generation approach for structural testing of model transformations

Contact Info

Product

Resources

About