Integrating Search and Constraint Solving for Nonconformity Resolving Recommendations of System Product Line Configuration

Hong Lu1,2, Tao Yue2,3, Shaukat Ali2, Li Zhang1

1Beihang University, Beijing, China;2Simula Research Laboratory, Oslo, Norway; 3Department of Informatics, University of Oslo, Oslo, Norway;
Contact: {honglu, tao, shaukat}@simula.no, lily@buaa.edu.cn

Abstract

In the context of large-scale system product line engineering, manual configuration is often mandatory and therefore inevitably introduces nonconformities: violating pre-defined constraints for conformance checking. Resolving nonconformities without proper tool support is more or less random, as there are usually hundreds and thousands of configurable parameters and conformance constraints, in the context of configuring a large-scale and directly deployable system. Moreover, inter-connections among constraints and configurable parameters worsen the feasibility of manual resolving nonconformities without proper tool support. In this paper, we present an automatic approach (named as Zen-FIX) to optimally recommend solutions to resolve nonconformities by combining multi-objective search and constraint solving techniques. Solutions recommended by Zen-FIX conform to all pre-defined constraints and are optimal in terms of maximizing the overall efficiency of an interactive product configuration process. We evaluated Zen-FIX with a real- world case study containing 52454 optimization problems, with which we evaluated seven multi-objective search algorithms. Results show that MoCell significantly outperformed all the others: CellDE, IBEA, NSGA-II, PESA2, Random, SPEA2, for most of the problems, in terms of Efficiency (a combined metric of finding optimal solutions and time performance).

For implementation:

As mentioned in the paper, all the selected search algorithms and quality indicator are implemented based on jMetal [1].

Data related with the experiment

Download The data generated by CellDE algorithm for solving all the problems;
Download The data generated by MoCell algorithm for solving all the problems;
Download The data generated by IBEA algorithm for solving all the problems;
Download The data generated by NSGAii algorithm for solving all the problems;
Download The data generated by Random algorithm for solving all the problems;
Download The data generated by PESA2 algorithm for solving all the problems;
Download The data generated by SPEA2 algorithm for solving all the problems;