POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Proceedings of the 2003 ACM symposium on Document engineering
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
Electronic Notes in Theoretical Computer Science (ENTCS)
Manual and automated performance optimization of model transformation systems
International Journal on Software Tools for Technology Transfer (STTT)
Towards incremental execution of ATL transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Active operations on collections
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Incremental model transformation for the evolution of model-driven systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
GrGen: a fast SPO-based graph rewriting tool
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Constraint-Driven modeling through transformation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Object constraint language (OCL): a definitive guide
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Formally defining and iterating infinite models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
On the concurrent execution of model transformations with Linda
Proceedings of the Workshop on Scalability in Model Driven Engineering
| Hi-index | 0.00 |
The increasing adoption of Model-Driven Engineering in industrial contexts highlights scalability as a critical limitation of several MDE tools. Most of the current model-to-model transformation engines have been designed for one-shot translation of input models to output models, and present efficiency issues when applied to very large models. In this paper, we study the application of a lazy-evaluation approach to model transformations. We present a lazy execution algorithm for ATL, and we empirically evaluate a prototype implementation. With it, the elements of the target model are generated only when (and if) they are accessed, enabling also transformations that generate infinite target models. We achieve our goal on a significant subset of ATL by extending the ATL compiler.