PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Fantechi A., Gnesi S. Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. In: SPLC'15 - 19th International Software Product Line Conference (Nashville, TN, USA, 20-24 July 2015). Proceedings, pp. 321 - 326. ACM, 2015.
 
 
Abstract
(English)
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.
DOI: http://dx.doi.org/10.1145/2791060.2791100
Subject Collective Adaptive Systems
Multi-objective optimization
ClaferMOO
Quantitative modeling
Quantitative analysis
variability analysis
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
D.2.13 Reusable Software. Domain engineering


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional