model transformations
A Component Model for Model Transformations
... systems. Model transformations are key enablers for this approach, being used to manipulate instance models of a certain modelling ...of model transformations across different modelling ...
6
Model transformations in converge
... Model transformations are currently the focus of much interest and research due to the OMG’s QVT ...for model transformation lan- guages can be divided into two main camps: those taking a ...
16
Towards Rigorously Faking Bidirectional Model Transformations
... Bidirectional model transformations (bx) are mechanisms for auto- matically restoring consistency between multiple concurrently modified ...many model transformation lan- guages not supporting them ...
7
A model driven approach to model transformations
... OMG’s Model Driven Architecture (MDA) initiative has been the focus of much attention in both academia and industry, due to its promise of more rapid and consistent software development through the increased use ...
15
A Performance Analysis of Model Transformations and Tools
... using model transformations, models can be translated from one language to another, resulting in a separation of program architecture and execution ...
80
An OCL-Based Framework for Model Transformations
... of model transformations: (1) The foundation of the approach is based on the integration of TGGs and ...for transformations. The central idea is to view transformations as ...for model ...
16
Using icon derived technologies to drive model transformations
... TRATT, Laurence and CLARK, Anthony Available from Sheffield Hallam University Research Archive SHURA at: http://shura.shu.ac.uk/11930/.. This document is the author deposited version.[r] ...
8
Customisable model transformations based on non functional requirements
... A model checker is applied to the M2M specification to verify that each style has been applied correctly and that each trade-off choice leaves the system in a consistent ...
8
Towards a Unifying Framework for Modelling and Executing Model Transformations
... Thrascias’ abstract syntax (MM pl ) is defined as an ECore model, shown in Figure 5.4. The concrete syntax is described in Table 5.1. It comprises OCL for expressions, operations for defining which models are ...
97
Analysis of crosscutting concerns in QVT-based model transformations
... These dependency graphs are also useful as a hint for identifying transformation rule conflicts. Transformation rules conflict with each other when two different source metamodel elements have a same type of effect on a ...
94
Verification of model transformations
... We can use these composition relationships to structure and externally com- pose transformations. In particular, extension can be logically interpreted as a conjunction of the base and extended use cases (the ...
60
Volume 31: Visual Formalisms for Patterns 2010
... Pattern-based model-to-model transformation is an algebraic, bidirectional and relational ap- proach to model transformation [LG08] based on Triple Graph Grammar (TGG) ...backward model ...
13
Volume 54: Graph-Based Tools 2012
... source model transformation tool for the Eclipse Modeling Framework ...in-place model transformations as well as model-to-model ...In-place model transformations are ...
7
Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006
... supports Model Driven Development (MDD) [KWB03]. Within MDD model transformations play an important ...model transformations. Within these diagrams most of the transformations ...
17
A formalisation of EMF by expressing Ecore as GROOVE graphs
... earlier, model transformations are an automated way of modifying and creating models by transforming existing ...models. Model transformations can be used in a variety of scenarios, from sim- ...
250
Migrating C/C++ Software to Mobile Platforms in the ADM Context
... process. Model transformations allow developers to concentrate on the conceptual aspects of the relations between models and delegate the implementation of the ...
11
Generic and Standard Database Constraint Meta-Models
... of model-to-model transformations that trace model elements from a model at the lower level of abstraction to a model at the higher level of abstraction, achieved through ...of ...
18
Prediction of Speech Recognition in Cochlear Implant Users by Adapting Auditory Models to Psychophysical Data
... a model of the cognitive ...of model A is its ability to simulate any spectral resolution exactly, which model B ...However, model B is more useful because it is able to simulate different ...
9
From Selective to Full Security: Semi-Generic Transformations in the Standard Model
... standard model, semi-generic transformation of selective- secure (Hierarchical) Identity-Based Encryption schemes into fully secure ...(CML) model of Brakerski et ...
57
Stronger Public Key Encryption Schemes Withstanding RAM Scraper Like Attacks
... attack model so that the adversary is fully empowered to carry out the ...attack model, the adversary may ask encryption as well as decryption oracle ...this model (IND-CCA2 model) is ...
15