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
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne 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.
Type de document :
Communication dans un congrès
Models 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
Liste complète des métadonnées

https://hal.inria.fr/hal-01221072
Contributeur : Robin Boncorps <>
Soumis le : mardi 27 octobre 2015 - 13:31:59
Dernière modification le : mercredi 11 avril 2018 - 02:01:24

Identifiants

  • HAL Id : hal-01221072, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

309