Applying the product lines paradigm to the quantitative analysis of collective adaptive systems

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2015 Proceedings of the 19th International Conference on Software Product Line - SPLC '15  
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
more » ... del. ClaferMOOVisualizer is subsequently used for quantitative analyses and multiobjective optimization of the resulting attributed feature model.
doi:10.1145/2791060.2791100 dblp:conf/splc/BeekFG15 fatcat:w3r3hpbnu5bu5kqq6riwuhwrga