Lazy Evaluation for OCL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Lazy Evaluation for OCL

Résumé

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.
Fichier non déposé

Dates et versions

hal-01221072 , version 1 (27-10-2015)

Identifiants

  • HAL Id : hal-01221072 , version 1

Citer

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⟩
204 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More