Survey and classification of model transformation tools
Abstract Model transformation lies at the very core of model-driven engineering, and a large
number of model transformation languages and tools have been proposed over the last few …
number of model transformation languages and tools have been proposed over the last few …
[BOOK][B] Topological UML modeling: an improved approach for domain modeling and software development
J Osis, U Donins - 2017 - books.google.com
Topological UML Modeling: An Improved Approach for Domain Modeling and Software
Development presents a specification for Topological UML® that combines the formalism of …
Development presents a specification for Topological UML® that combines the formalism of …
[HTML][HTML] A survey and comparison of transformation tools based on the transformation tool contest
E Jakumeit, S Buchwald, D Wagelaar, L Dan… - Science of computer …, 2014 - Elsevier
Abstract Model transformation is one of the key tasks in model-driven engineering and relies
on the efficient matching and modification of graph-based data structures; its sibling graph …
on the efficient matching and modification of graph-based data structures; its sibling graph …
Model-based system engineering using SysML: Deriving executable simulation models with QVT
Systems Modeling Language (SysML) is used to define hierarchical system models in model-
based engineering (MBE). Although SysML may effectively serve the description of complex …
based engineering (MBE). Although SysML may effectively serve the description of complex …
A declarative approach for transforming SysML models to executable simulation models
Systems Modeling Language (SysML) is an object management group standard for systems-
of-systems engineering. It enables the description of complex system models; however, it …
of-systems engineering. It enables the description of complex system models; however, it …
[PDF][PDF] Comparison and evaluation of model transformation tools
An impressive number of model transformation languages and associated tools have been
developed over the last few years. These tools can be used to develop, transform, merge …
developed over the last few years. These tools can be used to develop, transform, merge …
Case-based exploration of bidirectional transformations in QVT relations
B Westfechtel - Software & Systems Modeling, 2018 - Springer
Abstract QVT Relations (QVT-R), a standard issued by the Object Management Group, is a
language for the declarative specification of model transformations. This paper focuses on a …
language for the declarative specification of model transformations. This paper focuses on a …
Towards an effective approach for composition of model transformations
Model Driven Engineering (MDE) adoption in the industry suffers from many technical and
non-technical problems. One of the significant technical problems lies in the difficulty of …
non-technical problems. One of the significant technical problems lies in the difficulty of …
Bidirectional transformations with QVT-R: a case study in round-trip engineering UML class models and Java source code
Model-driven software engineering has become more and more important during the last
few years. Model transformations constitute the core essence of model-driven development …
few years. Model transformations constitute the core essence of model-driven development …
Linking Formal Methods in Software Development: A Reflection on the Development of rCOS
Z Liu - Theories of Programming and Formal Methods: Essays …, 2023 - Springer
The method of refinement of object-oriented and component-based systems (rCOS) has
been developed based on the Unifying Theories of Programming (UTP) of Tony Hoare and …
been developed based on the Unifying Theories of Programming (UTP) of Tony Hoare and …