Un tipo de descomposición modular en la que un sistema se descompone en componentes que corresponden a subfunciones y funciones del sistema.