Formal foundations of dynamic types for software components

In this work we describe a the foundations of a type system for
software components, which supports (1) error checking during
composition, (2) automatic adaption of a component's services
according to the resources of its surrounding environment, and
(3) controlled extension of components by plug-ins. Since the
type information is described at the interface of a component,
this type system can also be regarded as an new notion for to
enhance classical interfaces. This document gives a
specification of a component type and describes algorithms
performing the above actions (1) -- (3).