Sentence examples for model transformation design from inspiring English sources

This paper presents a catalog of 15 model transformation design patterns.

We conducted an initial survey to motivate the need for model transformation design patterns and a user study to validate the methodology we propose to solve problems as model transformations based on design patterns.

Model transformation design patterns have been proposed by a number of researchers, but their usage appears to be sporadic and sometimes patterns are applied without recognition of the pattern.

Therefore, we propose a semi-formal way to describe model transformation design patterns that is independent from a specific transformation language and described in a practical way that is directly implementable by model engineers.

" Multi-formalism modelling and model transformation for the design of reactive systems".

To facilitate the controller design, a model transformation method is proposed to transform the LTV system into a linear time-invariant (LTI) system with norm-bounded uncertainties.

By model transformation, distributed controllers are designed based on input-to-state stability (ISS) property to ensure that both configuration formation and rendezvous-type formation can be achieved.

Other applications of the model transformation technique include recognizing common design patterns in the models in a static analysis, replacing exiting design patterns with more efficient ones, and reusing design patterns by incorporating them into new models.

One major outcome of this project has been a model transformation technology (see figure below) that has applications to model optimization, scalable model construction, joint management of product families, design refactoring, and workflow automation.

This work presents a formal specification of PALS as a formal model transformation that maps a synchronous design, together with a set of performance bounds of the underlying infrastructure, to a formal DRTS specification that is semantically equivalent to the synchronous design.

We also demonstrate how it is possible to automatically generate excerpts of a model transformation in various languages given a design pattern.