DocumentCode
3414123
Title
Consistency of compatibility constraints in configuration management
Author
Gribomont, E.P. ; Lacroix, M. ; Lavency, P.
Author_Institution
Philips Res. Lab., Brussels, Belgium
fYear
1988
fDate
11-14 Apr 1988
Firstpage
81
Lastpage
88
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;
fLanguage
English
Publisher
ieee
Conference_Titel
CompEuro '88. 'Design: Concepts, Methods and Tools'
Conference_Location
Brussels
Print_ISBN
0-8186-0834-X
Type
conf
DOI
10.1109/CMPEUR.1988.4937
Filename
4937
Link To Document