Dynamic Abstract Composition