Semantic annotation of software components

The aim of this contribution is to present concepts and to propose techniques and a methodical support for automated software composition using "rich" semantic descriptions of components and services which we call annotations. Our approach is based upon a Component Description Reference Model for which both, semantic description patterns and inference mechanisms are defined. They offer variability in expressiveness, reasoning power and the required analysis depth for the identification of component properties and qualities. The approach comprises two major concepts - Logic-on-Demand and the Triple Semantic Model. They both turn out to be essential for the entire modelling process and, in particular for the automated reasoning techniques based on semantic annotations.