Skip to Main content Skip to Navigation
Conference papers

Active Operations on Collections

Olivier Beaudoux 1 Arnaud Blouin 2 Olivier Barais 2 Jean-Marc Jézéquel 2
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. Consequently, manipulating models often consists of performing operations on collections. For example, transformations create target collections from given source collections. Similarly, constraint evaluations perform computation on collections. Recent research works focus on making such transformations or constraint evaluations active (i.e. incremental, or live). However, they propose their own solutions to the issue by the introduction of specific languages and/or systems. This paper proposes a mathematical formalism, centered on collections and independent of languages and systems, that describes how the implementation of standard operations on collections can be made active. The formalism also introduces a reversed active assignment dedicated to bidirectional operations. A case study illustrates how to use the formalism and its Active Kermeta implementation for creating an active transformation.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Friday, December 3, 2010 - 2:37:23 PM
Last modification on : Tuesday, June 15, 2021 - 4:13:17 PM
Long-term archiving on: : Friday, March 4, 2011 - 3:41:28 AM


Files produced by the author(s)


  • HAL Id : inria-00542763, version 1


Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel. Active Operations on Collections. ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10), 2010, Oslo, Norway, Norway. pp.91--105. ⟨inria-00542763⟩



Les métriques sont temporairement indisponibles