(Re)configuration based on model generation

Gerhard Friedrich
(Alpen-Adria Universität)
Anna Ryabokon
(Alpen-Adria Universität)
Andreas Falkner A
(Siemens AG Österreich)
Alois Haselböck
(Siemens AG Österreich)
Gottfried Schenner
(Siemens AG Österreich)
Herwig Schreiner
(Siemens AG Österreich)

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.

In Conrad Drescher, Ines Lynce and Ralf Treinen: Proceedings Second Workshop on Logics for Component Configuration (LoCoCo 2011), Perugia, Italy, 12th September 2011, Electronic Proceedings in Theoretical Computer Science 65, pp. 26–35.
Published: 30th August 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.65.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org