KIT | KIT-Bibliothek | Impressum | Datenschutz

Unified Versioning Through Feature Logic

Zeller, Andreas; Snelting, Gregor

Abstract:

Software configuration management (SCM) suffers from tight coupling between SCM version-ing models and the imposed SCM processes. In order to adapt SCM tools to SCM processes, rather than vice versa, we propose a unified versioning model, the version set model. Version sets denote versions, components, and configurations by feature terms, that is, Boolean terms over (feature : value)-attributions. Through feature logic, we deduce consistency of abstract configurations as well as features of derived components and describe how features propagate in the SCM process; using feature implications, we integrate change-oriented and version-oriented SCM models. We have implemented the version set model in an SCM system called ICE, for Incremental Configuration Environment. ICE is based on a featured file system (FFS), where version sets are accessed as virtual files and directories. Using the well-known C preprocessor (CPP) representation, users can view and edit multiple versions simultaneously, while only the differences between versions are stored. It turns out that all major SCM models can be realized and integrated efficiently on top of the FFS, demonstrating the flexible and unifying nature of the version set model.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1997
Sprache Englisch
Identifikator ISSN: 1049-331X
KITopen-ID: 1000017705
Erschienen in ACM Transactions on Software Engineering and Methodology
Verlag Association for Computing Machinery (ACM)
Band 6
Heft 4
Seiten 398 - 441
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page