Un tip de descompunere modulare, în care un sistem este defalcat într-o ierarhie de componente printr-o serie de rafinamente de sus în jos.