Universitat Passau Fakult at F Ur Mathematik Und Informatik P Module Connguration by Minimal Model Construction

We present a framework for the automatic con guration of large systems from a library of reusable software components. Core of the framework is a modal logic that uniformly and elegantly captures type descriptions, module speci cations and relative time. Whereas the rst two `dimensions' are treated similarly by means of a simple logic over a taxonomy of types and modules respectively, time is expressed by means of modalities. Besides allowing an elegant and transparent speci cation of module con gurations, our framework also provides a minimal model generator that automatically generates minimal solutions to a speci cation problem. All this is illustrated for a practically relevant application: the automatic con guration of heterogeneous analysis systems from loose speci cations.