A logic schema for a kernel configuration environment

This paper falls into the area of database support for configuration management. It is concerned with the definition of the data model, in particular, the schema (i.e. the static properties of the data model) for a Kernel Configuration Environment (KCE) that has to be general, i.e. not concerned with a particular kind of existing programming environment or with a particular programming language. Since data modelling, in the application area of configuration environments, requires to define the relevant concepts of that activity, the paper has also an impact on the area of system modelling. We consider the KCE as a tool to be integrated in existing programming environments after a specialization of its data model: The schema we have defined is general enough to meet different requirements; it defines the semantics of already known concepts and notions and of new concepts that have been suggested by specification languages.