Towards a logic-based reconstruction of software configuration management
Abstract
The efficient configuration and reconfiguration of software systems has been a major problem in software engineering. Configuration management is presented from a logic perspective. It is shown that much functionality can be generated automatically when configurations are considered as views on a deductive database, and recent results on deductive integrity checking, semantic query optimization, and intensional updates are applied to formalize a software information base for configuration management and the operations on it. An experimental prototype implementation is described.>
BibTeX
@inproceedings{Jarke-al:ASE92,
author = {Matthias Jarke and
Manfred A. Jeusfeld and
Andreas Miethsam and
Michael Gocek},
title = {Towards a logic-based reconstruction of software configuration management},
booktitle = {ASE},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {1992},
}