Configuring large systems using generative constraint satisfaction
- 1 July 1998
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Intelligent Systems and their Applications
- Vol. 13 (4), 59-68
- https://doi.org/10.1109/5254.708434
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).Keywords
This publication has 4 references indexed in Scilit:
- COCOS-a tool for constraint-based, dynamic configurationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Generative constraint-based configuration of large technical systemsArtificial Intelligence for Engineering Design, Analysis and Manufacturing, 1998
- Configuration-design problem solvingIEEE Expert, 1997
- Expert systems for configuration at Digital: XCON and beyondCommunications of the ACM, 1989