Incremental variant control

Abstract

One result of the last SVCC Conference held in Grassau, Jan. ‘88 has been the claim of the automation of the configuration process to guarantee an adequate state of consistency for specified software systems [7]. This paper introduces a model of handling Programming-Variations-inthe-Small (PVITS, see [8]) on the basis of program fragments. An abstract syntax of the language to describe variant configurations is automatically derived from the fragment dependency relation. We generate an interactive user interface to support menu-driven conflrguration programming. Semantic consistency of arbitrarily incomplete configurations is guaranteed by an inference-rule based analysis. Changes to the project structure are handled by grammar morphism to incrementally generate a new configuration editor.