This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

Software Configuration with Feature Logic
by Andreas Zeller

DFKI Document D-96-04, Franz Baader, Hans-Jürgen Bürckert, Andreas Günter, Werner Nutt (Ed.), Proceedings of the Workshop on Knowledge Representation and Configuration Problems, Pages 79-83, September 1996.

Download as compressed PostScript file.


Software configuration management (SCM) is the discipline for controlling the evolution of software systems. The central problems of SCM are closely related to central artificial intelligence (AI) topics, such as knowledge representation (how do we represent the features of versions and components, and how does this knowledge involve in time?), configuration (how do we compose a consistent configuration from components, and how do we express constraints?), and planning (how do we construct a software product from a source configuration, and what are the features of this product?). Although the research communities of both SCM and AI work on configuration topics, the knowledge about the mutual problems and methods is still small. We show how feature logic, a description logic with boolean operations, can be used to represent both knowledge about versions and components, as well as to infer the consistency of possible configurations and thus solve configuration problems in SCM. This interplay of knowledge representation and configuration techniques shows immediate beneficial consequences in SCM, such as the integration and unification of SCM versioning concepts. Moreover, SCM may turn out as a playground for testing and validating new AI methods in practice.


BibTeX Entry

    title = "Software Configuration with Feature Logic",
    author = "Andreas Zeller",
    year = "1996",
    month = sep,
    booktitle = "Proceedings of the Workshop on Knowledge Representation and Configuration Problems",
    editors = "Franz Baader and Hans-Jürgen Bürckert and Andreas Günter and Werner Nutt",
    journal = "DFKI Document D-96-04",
    location = "Dresden, Germany",
    pages = "79--83",

Show all publications of the Software Engineering Chair.