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
Liste complète des métadonnées

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00542763
Contributor : Didier Vojtisek <>
Submitted on : Friday, December 3, 2010 - 2:37:23 PM
Last modification on : Wednesday, December 19, 2018 - 3:26:06 PM
Document(s) archivé(s) le : Friday, March 4, 2011 - 3:41:28 AM

File

Beaudoux10a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00542763, version 1

Citation

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⟩

Share

Metrics

Record views

592

Files downloads

161