KIT | KIT-Bibliothek | Impressum | Datenschutz

Handling Version Sets through Feature Logic

Zeller, Andreas; Snelting, Gregor

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 CPPmanaged sources, providing interactive and incremental exploration of the configuration space.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1995
Sprache Englisch
Identifikator ISBN: 978-3-540-60406-8
ISSN: 0302-9743
KITopen-ID: 1000017704
Erschienen in Software Engineering - ESEC '95. 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings. Ed.: W. Schäfer
Verlag Springer Verlag
Seiten 191 - 204
Serie Lecture notes in computer science ; 989
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page