Describir: Descomposición de módulos con submódulos tipo