Implementation of model transformations in the context of model driven software engineering and system integration
Implementation von Modelltransformationen im Bereich der modellgetriebenen Softwareentwicklung und Systemintegration
Classification of model transformations[edit]
Arten von Modelltransformationen[Bearbeiten | Quelltext bearbeiten]
Quality assurance of domain-specific models and model transformations
Qualitätssicherung von domänenspezifischen Modellen und Modelltransformationen
Integrated technology for developing your own model transformations.
Integrierte Technik zur Entwicklung eigener Modelltransformationen
The key here are automatic model transformations
Die Schlüssel dazu sind automatische Modelltransformationen
Link and re-use model transformations.
Verkettung und Wiederverwendung von Modelltransformationen
Generate menu functions for calling up user-own model transformations and navigating.
Generierung von Menüfunktionen zum Aufruf benutzereigener Modelltransformationen und zur Navigation.
Furthermore, model transformations are created to support different robot software frameworks and other metamodels.
Zudem wird durch Modelltransformationen eine Unterstützung von anderen Roboterframeworks und Meta-Modellen implementiert.
We further use graph transformation to specify the model semantics such that we can work with a single formal model for the verification of model transformations.
Wir nutzen Graphtransformationen weiter zur Spefizikation der Semantik von Modellen, um bei der Verifikation von Modelltransformationen mit einem einzigen formalen Modell arbeiten zu können.
Up to now, except for some own preliminary work, there is not a lot of work available presenting methods for the formal verification of correctness of a transformation described by model transformations based on graph transformation.
Bislang gibt es bis auf eigene Vorarbeiten keine Arbeiten, in denen Methoden für den formalen Nachweis der Korrektheit einer durch Modelltransformationen beschriebenen Transformation basierend auf Graphtransformationen vorgestellt werden.
This diploma thesis pickes up the described problems in the analysis of model transformations and tries on the basis of transformation nets to go into detail of the verification.
Diese Arbeit greift daher die beschriebenen Probleme in der Analyse von Modelltransformationen auf und versucht anhand von Transformationsnetzen auf die Analyse einzugehen.
Using input models of the service, the infrastructure and a mapping between the two to describe actors of service communication, availability models are automatically created by a series of model to model transformations.
Aus Modellen des Dienstes, der Infrastruktur und einer Abbildung zwischen den beiden, welche die Aktoren der Dienstkommunikation beschreibt, werden durch eine Serie von Modelltransformationen automatisiert Verfügbarkeitsmodelle generiert.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.