Sentence examples for model transformations techniques from inspiring English sources

The proposed model-driven approach proceeds by translating statechart models of service compositions into input for a probabilistic model checker (PRISM) using state-of-the-art model transformations techniques.

Model Transformation - a framework for the analysis and transformation of actor models using model transformation techniques.

The model transformation facility provides a framework for the analysis and transformation of actor models using model transformation techniques.

We propose a multi-scale methodology for complex software systems using the model transformation techniques.

In this context, we have developed a testbed web tool which aims to be useful for learning model transformation techniques.

We automate such a translation between AADL and the dependability analysis tool HiP-HOPS by using model transformation techniques.

Then using model transformation techniques, the UML model is translated into Verilog description, and is finally implemented in the Field Programmable Gate Array (FPGA).

The methodology exploits Model Transformation techniques in order to build formal models for the analysis of properties of the whole orchestrated service.

It uses information from the model of the process and from the control loops designed and using model transformation techniques the supervisor is automatically generated.

This research presents new criteria based on new methods with mixed model transformation techniques.

A methodology, named MetaMORP(h OSY, that uses model-driven engineering and model transformation techniques to analyse Cloud services was introduced in [121].