At
http://ssel.vub.ac.be/Members/BartWydaeghe/Phd/member_phd.htm
is Bart Wydaeghe PhD thesis on component composition.

On pages 102 to 116 is a description on how traversal
strategies and Doug Orleans Adaptive Programming Library are used to generate
adapters to compose software components.
The adapter generation is needed when there is a mismatch
between two components.

A concise description of traversal strategies is in the
paper with Mitch (under construction):

http://www.ccs.neu.edu/research/demeter/biblio/new-strategy-semantics.html

I am on Bart's PhD committee; any feedback is welcome.

-- Karl