We discuss compositionality in terms of (a) component interoperability and contractual use of components, (b) component adaptation and (c) prediction of properties of composite components. In particular, 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 conditions, parametric contracts yield interfaces offering interoperability to the component context (as they are component-specifically generated). Therefore, parametric contracts can be considered as adaptation mechanism, 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 nonfunctional properties in dependency of the environment.
%0 Conference Paper
%1 reussner2004f
%A Reussner, Ralf H.
%A Becker, Steffen
%A Firus, Viktoria
%B Tagungsband der Net.ObjectDays 2004
%D 2004
%K
%P 155--169
%T Component Composition with Parametric Contracts
%U http://sdqweb.ipd.uka.de/publications/pdfs/reussner2004f.pdf
%X We discuss compositionality in terms of (a) component interoperability and contractual use of components, (b) component adaptation and (c) prediction of properties of composite components. In particular, 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 conditions, parametric contracts yield interfaces offering interoperability to the component context (as they are component-specifically generated). Therefore, parametric contracts can be considered as adaptation mechanism, 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 nonfunctional properties in dependency of the environment.
@inproceedings{reussner2004f,
abstract = {We discuss compositionality in terms of (a) component interoperability and contractual use of components, (b) component adaptation and (c) prediction of properties of composite components. In particular, 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 conditions, parametric contracts yield interfaces offering interoperability to the component context (as they are component-specifically generated). Therefore, parametric contracts can be considered as adaptation mechanism, 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 nonfunctional properties in dependency of the environment.},
added-at = {2017-08-08T09:12:33.000+0200},
author = {Reussner, Ralf H. and Becker, Steffen and Firus, Viktoria},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/208fb904252133f3e065a63a230a3c4ee/snowball},
booktitle = {Tagungsband der Net.ObjectDays 2004},
interhash = {e7ab5c7a98934f4bcfb4d104b9039844},
intrahash = {08fb904252133f3e065a63a230a3c4ee},
keywords = {},
month = {September},
pages = {155--169},
timestamp = {2018-02-15T08:08:34.000+0100},
title = {{C}omponent {C}omposition with {P}arametric {C}ontracts},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2004f.pdf},
year = 2004
}