Sciweavers

3921 search results - page 2 / 785
» Transforming Models with ATL
Sort
View
SAC
2006
ACM
13 years 10 months ago
On the architectural alignment of ATL and QVT
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
Frédéric Jouault, Ivan Kurtev
ICMT
2010
Springer
13 years 9 months ago
Improving Higher-Order Transformations Support in ATL
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...
Massimo Tisi, Jordi Cabot, Frédéric ...
FMOODS
2006
13 years 6 months ago
KM3: A DSL for Metamodel Specification
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
Frédéric Jouault, Jean Bézivi...
ENTCS
2006
115views more  ENTCS 2006»
13 years 4 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...