Sentence examples for model transformation analysis from inspiring English sources

This leads to difficulties in model transformation, analysis, validation, verification and automatic code generation.

This article describes an automatic model transformation for the analysis step.

Based on model transformation and stochastic stability analysis, sufficient conditions are established to guarantee that the synchronization can be achieved.

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 automate such a translation between AADL and the dependability analysis tool HiP-HOPS by using model transformation techniques.

Business requirement analysis, dependency mapping, and workflow pattern-based model transformation are the major components of this transformation procedure.

This chapter describes techniques for the refinement of analysis models towards platform-independent designs, by model transformation.

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

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.

To verify and analyze the AADL models, model transformation technologies are often used to automatically extract a formal specification suitable for analysis and verification.