Formal specification of component adaptation and composition