Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Towards Industrial-scale Product Configuration

Joachim Baumeister, Susana Hahn, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko

TL;DR

This work introduces the CoomSuite, a public workbench and benchmark suite for industrial-scale product configuration built around the Coom family of languages (CoomCore, Coom[p], Coom[x]). It lays out an ASP-centric workflow that converts Coom models into parse-tree facts and refined ASP encodings, enabling configurable solution spaces and interactive exploration. The paper extends Coom with numeric variables, partonomies, and unbounded cardinalities (Coom[x*], Coom[p*]), and presents both ASP-based and flingo-based encodings, along with user input and interactive UI support. Through TravelBike and CargoBike examples, it demonstrates scalable modeling, while providing performance comparisons between clingo and flingo and outlining incremental strategies to handle unbounded cardinalities. The work aims to provide a transparent, extensible, and reproducible foundation for evaluation and development of industrial configuration tools, with concrete paths for future optimization, explanations, and multi-shot solving.

Abstract

We address the challenge of product configuration in the context of increasing customer demand for diverse and complex products. We propose a solution through a curated selection of product model benchmarks formulated in the COOM language, divided into three fragments of increasing complexity. Each fragment is accompanied by a corresponding bike model example, and additional scalable product models are included in the COOM suite, along with relevant resources. We outline an ASP-based workflow for solving COOM-based configuration problems, highlighting its adaptability to different paradigms and alternative ASP solutions. The COOM Suite aims to provide a comprehensive, accessible, and representative set of examples that can serve as a common ground for stakeholders in the field of product configuration.

Towards Industrial-scale Product Configuration

TL;DR

This work introduces the CoomSuite, a public workbench and benchmark suite for industrial-scale product configuration built around the Coom family of languages (CoomCore, Coom[p], Coom[x]). It lays out an ASP-centric workflow that converts Coom models into parse-tree facts and refined ASP encodings, enabling configurable solution spaces and interactive exploration. The paper extends Coom with numeric variables, partonomies, and unbounded cardinalities (Coom[x*], Coom[p*]), and presents both ASP-based and flingo-based encodings, along with user input and interactive UI support. Through TravelBike and CargoBike examples, it demonstrates scalable modeling, while providing performance comparisons between clingo and flingo and outlining incremental strategies to handle unbounded cardinalities. The work aims to provide a transparent, extensible, and reproducible foundation for evaluation and development of industrial configuration tools, with concrete paths for future optimization, explanations, and multi-shot solving.

Abstract

We address the challenge of product configuration in the context of increasing customer demand for diverse and complex products. We propose a solution through a curated selection of product model benchmarks formulated in the COOM language, divided into three fragments of increasing complexity. Each fragment is accompanied by a corresponding bike model example, and additional scalable product models are included in the COOM suite, along with relevant resources. We outline an ASP-based workflow for solving COOM-based configuration problems, highlighting its adaptability to different paradigms and alternative ASP solutions. The COOM Suite aims to provide a comprehensive, accessible, and representative set of examples that can serve as a common ground for stakeholders in the field of product configuration.

Paper Structure

This paper contains 18 sections, 9 equations, 8 figures, 1 table.

Table of Contents

  1. Introduction
  2. The CoomCore language
  3. Solving Coom-based product configuration with ASP
  4. Coom language extensions
  5. The TravelBike in Coom[x]
  6. Solving Coom[x] in ASP
  7. Fact format
  8. Encoding
  9. Solving Coom[x] with flingo
  10. Adding user input
  11. Reasoning with unbounded cardinalities
  12. Solving Coom interactively
  13. Attributes and values
  14. Explanations
  15. The CoomSuite Workbench
  16. ...and 3 more sections

Figures (8)

  • Figure 1: Workflow for solving Coom configuration problems with ASP
  • Figure 2: The TravelBike example converted into a configuration tree
  • Figure 3: Workflow for Incremental Bounds algorithm
  • Figure 4: Initial state of UI
  • Figure 5: UI after selecting the
  • ...and 3 more figures