A type of modular decomposition in which a system is broken down into components that correspond to system functions and subfunctions.