(Re)configuration based on model generation

Reconfiguration is an important activity for companies selling configurable products or services which have a long life time. However, identification of a set of required changes in a legacy configuration is a hard problem, since even small changes in the requirements might imply significant modific...

Full description

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2011-08, Vol.65 (Proc. LoCoCo 2011), p.26-35
Main Authors: Friedrich, Gerhard, Ryabokon, Anna, Falkner, Andreas, Haselböck, Alois, Schenner, Gottfried, Schreiner, Herwig
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Reconfiguration is an important activity for companies selling configurable products or services which have a long life time. However, identification of a set of required changes in a legacy configuration is a hard problem, since even small changes in the requirements might imply significant modifications. In this paper we show a solution based on answer set programming, which is a logic-based knowledge representation formalism well suited for a compact description of (re)configuration problems. Its applicability is demonstrated on simple abstractions of several real-world scenarios. The evaluation of our solution on a set of benchmark instances derived from commercial (re)configuration problems shows its practical applicability.
ISSN:2075-2180
2075-2180
DOI:10.4204/EPTCS.65.3