scholarly journals F-Alloy: a relational model transformation language based on Alloy

2017 ◽  
Vol 18 (1) ◽  
pp. 213-247 ◽  
Author(s):  
Loïc Gammaitoni ◽  
Pierre Kelsen
Keyword(s):  
Model Transformation ◽  
Relational Model ◽  
Transformation Language ◽  
Model Transformation Language

Modeling a Model Transformation Language

2013 ◽  
pp. 211-237 ◽  
Author(s):  
Eugene Syriani ◽  
Jeff Gray ◽  
Hans Vangheluwe
Keyword(s):  
Model Transformation ◽  
Transformation Language ◽  
Model Transformation Language

scholarly journals ADM-Based Hybrid Model Transformation for Obtaining UML Models from PHP Code

2019 ◽  
Vol 7 (1) ◽  
pp. 32
Author(s):  
Abdelali Elmounadi ◽  
Naoual Berbiche ◽  
Nacer Sefiani ◽  
Nawfal El Moukhi
Keyword(s):  
Model Transformation ◽  
Unified Modeling Language ◽  
Hybrid Approach ◽  
Language Models ◽  
Tool Support ◽  
Web Based ◽  
Automated Generation ◽  
Unified Modeling ◽  
Transformation Language ◽  
Model Transformation Language

In this paper, we present a hybrid-based model transformation, according to the Architecture Driven Modernization (ADM) approach, intended for getting UML (Unified Modeling Language) models from the PHP (Hypertext Preprocessor) code. This latter has been done by offering a tool support for automated generation of UML platform independent models from PHP ASTM (Abstract Syntax Tree Metamodel) representations, which are specific platform models. The model transformation rules are expressed in ATL (Atlas Transformation Language), which is a widely used model transformation language based on the hybrid approach. This work aims to fill the gap between the web-based applications maintenance, especially PHP-based implementations, and the model transformation processes in the ADM context.

scholarly journals Implementing QVT-R via semantic interpretation in UML-RSDS

2020 ◽  
Author(s):  
K. Lano ◽  
S. Kolahdouz-Rahimi
Keyword(s):  
Model Transformation ◽  
Semantic Interpretation ◽  
Model Transformations ◽  
Tool Support ◽  
Transformation Language ◽  
Efficient Code ◽  
Model Transformation Language ◽  
Multiple Languages ◽  
Mathematical Semantics ◽  
Qvt Relations

Abstract The QVT-Relations (QVT-R) model transformation language is an OMG standard notation for model transformation specification. It is highly declarative and supports (in principle) bidirectional (bx) transformation specification. However, there are many unclear or unsatisfactory aspects to its semantics, which is not precisely defined in the standard. UML-RSDS is an executable subset of UML and OCL. It has a precise mathematical semantics and criteria for ensuring correctness of applications (including model transformations) by construction. There is extensive tool support for verification and for production of 3GL code in multiple languages (Java, C#, C++, C, Swift and Python). In this paper, we define a translation from QVT-R into UML-RSDS, which provides a logically oriented semantics for QVT-R, aligned with the RelToCore mapping semantics in the QVT standard. The translation includes variation points to enable specialised semantics to be selected in particular transformation cases. The translation provides a basis for verification and static analysis of QVT-R specifications and also enables the production of efficient code implementations of QVT-R specifications. We evaluate the approach by applying it to solve benchmark examples of bx.

Sign in / Sign up

Export Citation Format

Share Document