Sentence examples for automatic transformations from inspiring English sources

Similarly, automatic transformations allow the derivation of an EvoFM from a given set of feature models.

These patterns are documented by a set of design diagrams and the corresponding implementing code is obtained through a series of automatic transformations.

In the context of Model Driven Architecture (MDA), most model transformation mechanisms aim for rigorously and unambiguously defined, fully automatic transformations.

MDD is an approach for software development that puts a particular emphasis upon making models the primary development artifacts and upon subjecting such models to a refinement process by using automatic transformations until a running system is obtained.

We describe an algorithm for the automatic transformation of a group of functions into such a monadic form.

Finally, we discuss computational support for the proposed approach in terms of conceptual model construction, automatic transformation and temporal querying.

We provide details of these transformation tools, evaluate the framework in practice, and discuss the benefits of formal automatic transformation in this context.

With the arising of Model-Driven Architecture methodology, automatic transformation between models is mostly possible and can be defined using graph transformation language.

In this work an automatic transformation from the SysML model to a process simulation language (in this case Aspen Plus) has been built.

The aim of the proposed method is to provide automatic transformation of architectural drawings into the spatial and topological information of the enclosure in a building.

The defined formal behavioral semantics sets the basis for an automatic transformation of PLC-statecharts into timed automata which can be analyzed by the model-checker UPPAAL.