Download:
|
by Abteilung Softwaretechnologie, Andreas Zeller, Andreas Zeller, Peter H. Feiler Concludes
http://www.st.cs.uni-sb.de/papers/tr-95-03/tr-95-03.ps.gz
Add To MetaCart
Abstract:
Integration of configuration management (CM) tools into software development environments raises the need for CM models to interoperate through a unified CM model. We present the version set model, where versions, components, and aggregates are grouped into sets according to their features, using feature logic as a formal base to denote sets and operations and deduce consistency. Version sets generalize well-known CM concepts such as components, repositories, workspaces, aggregates, or configurations. Arbitrary revision/variant combinations of components and aggregates are modeled in a uniform and orthogonal way. We show how the concepts of four central configuration management models---the checkin/ checkout model, the change set model, the composition model, and the long transaction model---are encompassed and extended by the version set model, making it a unified basis for modeling, realizing and integrating configuration management tasks. Finally, some conditions for efficient realization are identified, based on our practical experience with the configuration management tool ICE. Although the described operations generally result in exponential time complexity, it turns out that the discussed CM models can be realized and combined without loss of efficiency.
Citations
|
336
|
RCS--a system for version control
– Tichy
- 1985
|
|
238
|
The source code control system
– Rochkind
- 1975
|
|
180
|
Toward a unified framework for version modeling in engineering databases
– Katz
- 1990
|
|
140
|
The Tractability of Subsumption in Frame-based Description Languages
– Brachman, Levesque
- 1984
|
|
126
|
A Logical Semantics for Feature Structures
– Kasper, Rounds
- 1986
|
|
70
|
Configuration Management Models in Commercial Environments
– Feiler
- 1991
|
|
61
|
The CM challenge: Configuration management that works
– LEBLANG
- 1994
|
|
59
|
Functional unification grammar: a formalism for machine translation
– Kay
|
|
52
|
Snelting: On the Inference of Configuration Structures from Source Code
– Krone, G
|
|
47
|
Concepts in Configuration Management Systems
– Dart
- 1991
|
|
46
|
Representation and reasoning with attributive descriptions
– Nebel, Smolka
- 1990
|
|
32
|
Inheritance Hierarchies: Semantics and Unification
– Smolka, Ait-Kaci
- 1989
|
|
28
|
Configuration management for large-scale software development efforts
– LEBLANG, MCLEAN
- 1985
|
|
23
|
Variants: Keeping Things Together and Telling Them Apart
– Mahler
- 1994
|
|
18
|
A data model for programming support environments
– TICHY
- 1982
|
|
18
|
Handling version sets through feature logic
– ZELLER, SNELTING
- 1995
|
|
14
|
An object base for attributed software objects
– Lampen, Mahler
- 1988
|
|
12
|
The Network Software Environment
– Courington
- 1989
|
|
11
|
Estublier and Rubby Casallas. The Adele configuration manager
– Jacky
- 1994
|
|
8
|
Inference-based support for programming in the large
– Snelting, Grosch, et al.
- 1991
|
|
7
|
A logic-based approach to system modelling
– Rich, Solomon
- 1991
|
|
7
|
Feature-constrained logics for unification grammars
– Smolka
- 1992
|
|
6
|
Version control in families of large programs
– Winkler
- 1987
|
|
5
|
Even-Andre Karlsson, and Dashing Yeh. Change-Oriented Version Descriptions in EPOS
– Gulla
- 1991
|
|
4
|
Version management and change control; systematic approaches to keeping track of source code and support files
– Harter
- 1989
|
|
2
|
Configurations are versions, too
– Kobialka, Meyke
- 1993
|
|
1
|
An overview of the CAPITL software developmentenvironment
– Adams, Solomon
|