Abstract
In software configuration management, little attention has been paid to the evolution of system models, that is, the description of the components that make up a system, and the relationships between them. We present an extension to the version set model based on description logic, where roles, set-valued features, model relationships between version sets. Relationships are versioned with their components; features are propagated and unified along component relationships, ensuring configuration completeness and consistency. The integrated version set model has been realized in ICE MAKE, a MAKE clone dealing with versioned system models. ICE MAKE constructs arbitrary version sets according to their respective dependencies and deduces features and dependencies as imposed by the propagated configuration constraints.
Preview
Unable to display preview. Download preview PDF.
References
Adams, P., and Solomon, M. An overview of the CAPITL software development environment. In Estublier [3]., pp. 1–34.
Brandes, M. Deduktive Programmkonstruktion auf Basis von MAKE. Master's thesis, Technical University of Braunschweig, Germany, Dec. 1996. In German.
Estublier, J., Ed. Software Configuration Management: selected papers / ICSE SCM-4 and SCM-5 workshops (Seattle, Washington, Oct. 1995), vol. 1005 of Lecture Notes in Computer Science, Springer-Verlag.
Estublier, J., and Casallas, R. The Adele configuration manager. In Tichy [8], ch. 4, pp. 99–133.
Gulla, B., Karlsson, E.-A., and Yeh, D. Change-oriented version descriptions in EPOS. Software Engineering Journal 6, 6 (Nov. 1991), 378–386.
Mahler, A. Variants: Keeping things together and telling them apart. In Tichy [8], ch. 3, pp. 39–69.
Smolka, G. Feature-constrained logics for unification grammars. Journal of Logic Programming 12 (1992), 51–87.
Tichy, W. F., Ed. Configuration Management, vol. 2 of Trends in Software. John Wiley & Sons, Chichester, UK, 1994.
Tryggeseth, E., Gulla, B., and Conradi, R. Modelling systems with variability using the PROTEUS configuration language. In Estublier [3]., pp. 216–240.
Zeller, A. Smooth operations with square operators—The version set model in ICE. In Proc. 6th International Workshop on Software Configuration Management (Berlin, Germany, Mar. 1996), I. Sommerville, Ed., vol. 1167 of Lecture Notes in Computer Science, Springer-Verlag, pp. 8–30.
Zeller, A.Configuration Management with Version Sets. PhD thesis, Technical University of Braunschweig, Germany, Apr. 1997.
Zeller, A. Versioning software systems through concept descriptions. Computer Science Report 97-01, Technical University of Braunschweig, Germany, Jan. 1997.
Zeller, A., and Snelting, G. Unified versioning through feature logic. ACM Transactions on Software Engineering and Methodology 6, 4 (Oct. 1997), 398–441.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zeller, A. (1998). Versioning system models through description logic. In: Magnusson, B. (eds) System Configuration Management. SCM 1998. Lecture Notes in Computer Science, vol 1439. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053883
Download citation
DOI: https://doi.org/10.1007/BFb0053883
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64733-1
Online ISBN: 978-3-540-69086-3
eBook Packages: Springer Book Archive