Dynamic Composition of Parameterized Logic Modules