| Vol-958 urn:nbn:de:0074-958-1 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# ConfWS-2012
Workshop on Configuration at ECAI 2012

### Proceedings of the Workshop on Configuration at ECAI 2012

### Montpellier, France, August 27, 2012.

Edited by

### Wolfgang Mayer *
Patrick Albert **

* University of South Australia, Adelaide, Australia
** IBM, France

## Table of Contents

- Preface

- Maintaining Alternative Values in Constraint-based Configuration 1-7
  Caroline Becker, Hélène Fargier
- K-Model — Structured Design of Configuration Models 8-14
  Axel Brinkop, Thorsten Krebs, Hartmut Schlee
- Towards a Formalism of Configuration Properties Propagation 15-20
  David Fabian, Radek Marík, Tomás Oberhuber
- Testing Object-Oriented Configurators With ASP 21-26
  Andreas Falkner, Gottfried Schenner, Gerhard Friedrich, Anna Ryabokon
- Towards Hybrid Techniques for Efficient Declarative Configuration 27-30
  Ingo Feinerer
- Unifying Software, Product Configuration: A Research Roadmap 31-35
  Arnaud Hubaux, Dietmar Jannach, Conrad Drescher, Leonardo Murta, Tomi Mannisto, Krzysztof Czarnecki, Patrick Heymans, Tien Nguyen, Markus Zanker
- An Improved Constraint Ordering Heuristics for Compiling Configuration Problems 36-40
  Benjamin Matthes, Christoph Zengler, Wolfgang Küchlin
- Concurrent Configuration and Planning Problems: Some Optimization Experimental Results 41-46
  Paul Pitiot, Michel Aldanondo, Elise Vareilles, Paul Gaborit
- Sales Configurator Capabilities to Prevent Product Variety From Backfiring 47-54
  Alessio Trentin, Elisa Perin, Cipriano Forza

15-Jan-2013: submitted by Wolfgang Mayer
15-Jan-2013: published on CEUR-WS.org