Skip to Main content Skip to Navigation
Conference papers

Lazy Evaluation for OCL

Massimo Tisi 1 Rémi Douence 2 Dennis Wagelaar 1
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
2 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
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 model-driven 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Robin Boncorps <>
Submitted on : Tuesday, October 27, 2015 - 1:31:59 PM
Last modification on : Wednesday, January 15, 2020 - 4:34:43 PM


  • HAL Id : hal-01221072, version 1



Massimo Tisi, Rémi Douence, Dennis Wagelaar. Lazy Evaluation for OCL. Models 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada. ⟨hal-01221072⟩



Record views