Integrating time constraints into constraint-based configuration models

  • Authors:
  • Ulrich John;Ulrich Geske

  • Affiliations:
  • DaimlerChrysler AG, Research Information & Communication;Fraunhofer FIRST

  • Venue:
  • INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Over the last few years, we have been developing the configuration model ConBaCon, which is based on Constraint Programming over finite domains. The model is sound and suitable for building efficient and flexible systems that fulfill all the requirements of advanced configuration systems. In this paper, we present model extensions that enable time-extended configuration and reconfiguration problems to be solved: Besides “normal” configuration and reconfiguration problems, the extended model can now also solve problems that contain time-dependent resource avaibilities or supply constraints for the ground components included. The general nature of the model extensions introduced seems to be suitable for integration in other (commercial) constraint-based configuration systems/configurator libraries as well.