Rule-Based Formal Model for Software Configuration

摘要

In this work the authors examine the software configuration management problem.211u001eThe authors give a short introduction to the current state of the art and present 211u001ea declarative rule-based formal language for representation of configuration 211u001eknowledge. As a novel feature, the rule language allows finite existential 211u001equantification over the configuration components. The authors show a translation 211u001efrom the rule language to normal logic programs with stable model semantics. As a 211u001ecase study the authors examine the configuration management problem for the 211u001eDebian GNU/Linux system which consists of over 2000 distinct software packages.