Extending the automated feature model analysis capability of the abstract behavioral specification

Adriyan Chairul Achda, Ade Azurat, Radu Muschevici, Maya R.A. Setyautami

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Software Product Lines (SPL) support the concept of software mass production and customization by defining the commonalities and variability of related software products using a notion of features. The features of SPLs and their interdependencies are typically organized in feature models. These capture the product variations by defining permissible feature combinations. Analysis of feature models aims to extract valuable information and build a better software product line. The current implementation of automated analysis of feature models in Abstract Behavioral Specification (ABS) is using Choco Solver 2, a Java library for constraint satisfaction problems. Our work in this research was to port the implementation to the newest version of Choco Solver, namely Choco 4. Additionally, we extended the set of feature model analyses by adding new useful operations. An evaluation has been conducted to analyze the time performance. As a result, Choco 2 outperformed Choco 4 in case of deriving all solutions, while Choco 4 is better when deriving single solutions.

Original languageEnglish
Title of host publication2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages453-458
Number of pages6
ISBN (Electronic)9781538631720
DOIs
Publication statusPublished - 4 May 2018
Event9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017 - Jakarta, Indonesia
Duration: 28 Oct 201729 Oct 2017

Publication series

Name2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017
Volume2018-January

Conference

Conference9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017
Country/TerritoryIndonesia
CityJakarta
Period28/10/1729/10/17

Fingerprint

Dive into the research topics of 'Extending the automated feature model analysis capability of the abstract behavioral specification'. Together they form a unique fingerprint.

Cite this