En type af modulær nedbrydning, hvor et system er opdelt i et hierarki af komponenter gennem en serie af top-down raffinementer.