Configuring large systems using generative constraint satisfaction
G. Fleishanderl, Gerhard Friedrich, Alois Haselböck, Herwig Schreiner, Markus Stumptner
Abstract
G. Fleishanderl, Gerhard Friedrich, Alois Haselböck, Herwig Schreiner, Markus Stumptner
Abstract
The authors used generative constraint satisfaction as the basis for Lava, an automated configuration they developed for the complex domain of telephone switching systems. They built Lava using Cocos, their knowledge-based configuration tool.
OpenAlex reports 199 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The authors used generative constraint satisfaction as the basis for Lava, an automated configuration they developed for the complex domain of telephone switching systems. They built Lava using Cocos, their knowledge-based configuration tool.
Key concepts: Computer science, Generative grammar, Constraint satisfaction, Lava, Constraint (computer-aided design), Domain (mathematical analysis), Backtracking, Constraint satisfaction problem