Configuring Large Systems Using Generative Constraint Satisfaction

  • Authors:
  • Gerhard Fleischanderl;Gerhard E. Friedrich;Alois Haselböck;Herwig Schreiner;Markus Stumptner

  • Affiliations:
  • -;-;-;-;-

  • Venue:
  • IEEE Intelligent Systems
  • Year:
  • 1998

Quantified Score

Hi-index 0.01

Visualization

Abstract

Generative constraint satisfaction solves problems using a constraint network that is extended during the configuration process. Generative constraints hold for all components of a given type and are used as generators for extending the configuration including the constraint network. We have successfully applied generative constraint satisfaction in Lava, which is now in use configuring the EWSD (Elektronisches Wählsystem Digital) digital switching systems developed and manufactured by Siemens AG. We implemented Lava using our domain-independent configuration tool, Cocos (configuration by constraint satisfaction).