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

Handling Version Sets through Feature Logic - ESEC 1995
by Andreas Zeller, Gregor Snelting

Wilhelm Schäfer, Pere Botella (Ed.), Proceedings of the 5th European Software Engineering Conference, Pages 191-204, Lecture Notes in Computer Science, Volume 989, Springer, Berlin, Germany, September 1995.

ISBN: 3540604065

Download as compressed PostScript file.

See also

More information is available at http://www.infosun.fmi.uni-passau.de/st/papers/ice/ice.html.

Abstract

Software Configuration Management suffers from a multitude of models for version identification and control. We propose a unified approach based on feature logic. Using feature logic, version sets are the basic units of reasoning, making attribution models and version repositories special cases of a more general scheme. Version sets are identified by their features, that is, a boolean expression over (name: value) attributions. A system is configured by incrementally narrowing the set of versions until each component is contained in one single version. Feature logic ensures early detection of inconsistencies as well as automatic completion of the configuration thread. We have implemented a tool called ICE, realizing the above approach. As ICE uses the common C preprocessor (CPP) representation, one can select, add, or modify arbitrary version subsets as user-readable entities. ICE deduces features and constraints from existing CPP-managed sources, providing interactive and incremental exploration of the configuration space.

Keywords

BibTeX Entry

@inproceedings{zeller-esec-1995,
    title = "Handling Version Sets through Feature Logic",
    author = "Andreas Zeller and Gregor Snelting",
    year = "1995",
    month = sep,
    address = "Berlin, Germany",
    booktitle = "Proceedings of the 5th European Software Engineering Conference",
    editors = "Wilhelm Schäfer and Pere Botella",
    location = "Sitges, Spain",
    pages = "191--204",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    volume = "989",
    ISBN = "3540604065",
}

Show all publications of the Software Engineering Chair.