Firus: Component Composition with Parametric Contracts, Tagungsband der Net.ObjectDays

Abstract. We discuss compositionality in terms of (a) component inter-operability and contractual use of components, (b) component adapta-tion and (c) prediction of properties of composite components. In partic-ular, we present parametric component contracts as a framework treating the above mentioned facets of compositionality in a unified way. Parametric contracts compute component interfaces in dependency of context properties, such as available external services or the profile how the component will be used by its clients. Under well-specified condi-tions, parametric contracts yield interfaces offering interoperability to the component context (as they are component-specifically generated). Therefore, parametric contracts can be considered as adaptation mech-anism, adapting a components provides- or requires-interface depending on connected components. If non-functional properties are specified in a component provides interface, parametric contracts compute these non-functional properties in dependency of the environment.