The OPL optimization programming language
The OPL optimization programming language
On the architectural alignment of ATL and QVT
Proceedings of the 2006 ACM symposium on Applied computing
Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models
ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
ATL: A model transformation tool
Science of Computer Programming
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
The Design of the Zinc Modelling Language
Constraints
On the Use of Higher-Order Model Transformations
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Views and iterators for generic constraint implementations
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Improving higher-order transformations support in ATL
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Using feature model to build model transformation chains
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Chaining model transformations
Proceedings of the First Workshop on the Analysis of Model Transformations
Hi-index | 0.00 |
Model transformations operate on models conforming to precisely defined metamodels. Consequently, it often seems relatively easy to chain them: the output of a transformation may be given as input to a second one if metamodels match. However, this simple rule has some obvious limitations. For instance, a transformation may only use a subset of a metamodel. Therefore, chaining transformations appropriately requires more information. We present here an approach that automatically discovers more detailed information about actual chaining constraints by statically analyzing transformations. The objective is to provide developers who decide to chain transformations with more data on which to base their choices. This approach has been successfully applied to the case of a library of endogenous transformations. They all have the same source and target metamodel but have some hidden chaining constraints. In such a case, the simple metamodel matching rule given above does not provide any useful information.