Date: 27 janvier 2011
Evènement: Interventions CETIC ⊕
Expertises:
Ingénierie des systèmes IT complexes ⊕
L’Université de Namur a organisé la cinquième édition de l’"International Workshop on Variability Modelling of Software-intensive Systems".
Ce workshop s’est déroulé du 27 au 29 janvier 2011, à la Faculté d’Informatique de l’Université de Namur.
L’objectif de la série de workshops VaMoS est de rassembler les chercheurs travaillant sur la modélisation de variabilité afin de discuter des avantages, des inconvénients et des complémentarités des différentes approches ainsi que de présenter les résultats de recherches.
Cette année, le CETIC a sponsorisé ce workshop. Raphaël Michel, Ingénieur de Recherche au CETIC, a participé à cet événement afin de partager, avec les participants, les résultats des travaux de recherche du CETIC dans ce domaine.
Le sujet du papier présenté par le CETIC concernait : "Feature cardinalities in feature diagrams determine the number of times a feature and its subtree can be duplicated during configuration by an operation named “cloning”.
Other authors already investigated the problem and published different proposals of semantics for this construct. However, this previous work is not easily amenable to the formal study of the various properties of feature diagrams and their derived configurations. Also, cross-tree constraint languages still need to be properly extended to account for feature cardinalities.
This paper presents an extension of an earlier formal semantics of feature diagrams by adding support for feature cardinalities."