HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Intensional View Definition with Constrained Incremental Transformation Rules

Abstract : Models of real-world systems can be extremely complex. In order to make such models amenable to engineering processes, multiple simpler views are typically defined that each cover a subset of the source model aspects. In such situations each of the views represents a subset of the information present in the source. However, some views actually contain information that is not present in their source. This information must be consistently populated. Most approaches, for instance based on model transformation, force the selection of a single target model. There is therefore a need to define views intensionally. The approach presented in this paper augments transformation rules with constraints, which can be used to intensionally specify which views are valid for a given source. Moreover, multiple distinct views can be defined from a single pre-existing underlying model. This approach is applied to a visual view case study consisting of a class diagram, and an object diagram built from a single underlying UML model.
Document type :
Conference papers
Complete list of metadata

Contributor : Anne-Flore Jarry Connect in order to contact the contributor
Submitted on : Wednesday, February 26, 2020 - 4:44:29 PM
Last modification on : Wednesday, March 2, 2022 - 3:52:01 PM




Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Mickael Clavreul. Intensional View Definition with Constrained Incremental Transformation Rules. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.395-402, ⟨10.1109/MODELS-C.2019.00061⟩. ⟨hal-02492143⟩



Record views