Sentence examples for model transformations from from inspiring English sources

The modelling approach focuses on the definition of models and model transformations, from the application requirements to code generation, emphasizing dynamic reconfiguration of the application.

The Instrumental Variable method employs as instrument an auxiliary model of the structure, and it is able to directly identify the continuous-time structure model using discrete-time data without resorting on model transformations from continuous-time to discrete-time, and vice-versa.

Hence a system that can use a small number of files to model transformations from one mode to another is important.

The advantage of this approach is that it allows defining several model transformations from the same abstraction level but targeted to different lower levels, offering opportunities to target different technology platforms.

This paper describes our technique, discusses consistency of model transformations and reports on its application to a non-trivial model transformation from access control models to Java security.

The approach contains the model transformation from a safety model to a Deterministic Stochastic Petri Nets (DSPNs) model for calculating the occurrence probability of hazards and mishaps.

They contribute in different respects to the area of model transformation, from its foundations to the potential benefits it may bring to the emergent field of Model-Driven Engineering.

This enhances the model interchange process by making it possible to define model-to-model transformations from design models into software performance models.

This may involve several model transformations, for example, from UML to SystemC.

That is, looking at the development process, besides a spine of model transformations moving from highly abstract, domain related models down to concrete platform related models (programs), we can see a number of barbs, relating models in the spine to specialized models that permit specific analysis of parts of the software.

In this paper, we describe a model-to-model transformation from queueing Petri nets (QPN) into layered queueing networks (LQN).