Sentence examples for model transformation specification from inspiring English sources

We automatically translate the workflow metamodel into a model transformation specification in Alloy.

Most current approaches use meta-model-driven transformation specification via textual scripting languages.

Model transformation is widely used to extract a formal specification so that AADL models can be verified and analyzed by existing tools.

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

The model transformation framework to be developed in this project aims to support the flexible specification of patterns and replacements by means of rules in graph grammar.

The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

"Model Transformation Using ERG Controller".

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

"Model Transformation for Systematic Development of Actor Models".

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

"Model Transformation with Hierarchical Discrete-Event Control".