Multilevel logic programming for software engineering: Modelling version selection in software system configuration management

Authors: M. Bieliková and P. Návrat

Reference: Technical report, Slovak University of Technology, Bratislava, September, 1996. Journal CIT (submitted).


  1. Introduction
  2. Multilevel logic programming
    • Reflection
    • Design of a multilevel logic program
  3. An outline of our approach to version selection
    • The method for version selection
  4. Modularization of knowledge related to version selection
  5. Applying the multilevel programming: an example of the method for version selection
  6. Conclusions

Abstract: This research has been motivated by the need to provide more lucid and effective means for describing and structuring all the various knowledge related to certain software engineering tasks, such as a version selection. Software configuration management (SCM) is one of the areas closely related to supporting engineering approaches to software development. Our objective was to achieve an effective automated version selection - which is an important task in SCM - by means of incorporating heuristic filters in that process. Our approach offers means of abstraction for expressing various kinds of knowledge involved in the related process. It also offers techniques for structuring them according to both generality levels and to knowledge content, i.e. meta-levels. To illustrate these ideas, we show how multilevel programming can be used to model a method for version selection.

Keywords: software configuration management, version control, heuristic selection, module, multilevel logic programming, Prolog.

PS version (784K file, 19 pages) together with a GZ version (91K file) is available.

to Homepage to Publications to the Top

Last updated:
Mária Bieliková bielik [zavináč] fiit-dot-stuba-dot-sk
Design © 2oo1 KoXo