Title :
Consistency of compatibility constraints in configuration management
Author :
Gribomont, E.P. ; Lacroix, M. ; Lavency, P.
Author_Institution :
Philips Res. Lab., Brussels, Belgium
Abstract :
The notion of compatibility constraints in a configuration management system is introduced. These constraints form a user-defined rule base; in such a context an efficient consistency verification is required. It is proved that checking the consistency of a set of compatibility constraints is an NP-complete problem. The restrictions needed to make the problem tractable are investigated. A linear algorithm is given for an important restricted case
Keywords :
programming theory; software engineering; NP-complete problem; compatibility constraints; configuration management system; consistency verification; linear algorithm; user-defined rule base; Computational complexity; Databases;
Conference_Titel :
CompEuro '88. 'Design: Concepts, Methods and Tools'
Conference_Location :
Brussels
Print_ISBN :
0-8186-0834-X
DOI :
10.1109/CMPEUR.1988.4937
