Engineering a Collective Adaptive System (CAS) requires the support of a framework for quantitative modeling and analysis of the system. In order to jointly address variability and quantitative analysis, we apply the Product Lines paradigm, considered at the level of system engineering, to a case study of the European project QUANTICOL, by first defining a reference feature model and then adding feature attributes and global quantitative constraints, in the form of a Clafer attributed feature model. ClaferMOOVisualizer is subsequently used for quantitative analyses and multi-objective optimization of the resulting attributed feature model.
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems / Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi. - ELETTRONICO. - (2015), pp. 321-326. (Intervento presentato al convegno Software Product Line Conference 2015) [10.1145/2791060.2791100].
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems
Alessandro Fantechi;Stefania Gnesi
2015
Abstract
Engineering a Collective Adaptive System (CAS) requires the support of a framework for quantitative modeling and analysis of the system. In order to jointly address variability and quantitative analysis, we apply the Product Lines paradigm, considered at the level of system engineering, to a case study of the European project QUANTICOL, by first defining a reference feature model and then adding feature attributes and global quantitative constraints, in the form of a Clafer attributed feature model. ClaferMOOVisualizer is subsequently used for quantitative analyses and multi-objective optimization of the resulting attributed feature model.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.