Sciweavers

Share
MODELS
2015
Springer

Lazy Evaluation for OCL

3 years 4 months ago
Lazy Evaluation for OCL
Abstract. The Object Constraint Language (OCL) is a central component in modeling and transformation languages such as the Unified Modeling Language (UML), the Meta Object Facility (MOF), and Query View Transformation (QVT). OCL is standardized as a strict functional language. In this article, we propose a lazy evaluation strategy for OCL. We argue that a lazy evaluation semantics is beneficial in some modeldriven engineering scenarios for: i) lowering evaluation times on very large models; ii) simplifying expressions on models by using infinite data structures (e.g., infinite models); iii) increasing the reusability of OCL libraries. We implement the approach on the ATL virtual machine EMFTVM.
Massimo Tisi, Rémi Douence, Dennis Wagelaar
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Massimo Tisi, Rémi Douence, Dennis Wagelaar
Comments (0)
books