3987 search results - page 27 / 798 » Ontology-Based Model Transformation |
122
Voted
ENTCS
2006
15 years 21 days ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
129
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
108
click to vote
ENTCS
2006
15 years 21 days ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
UML
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
90
Voted
MODELLIERUNG
2008
15 years 2 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...