Un diagramme qui identifie les modules, activités, entités dans un programme d'ordinateur ou de système et montre comment de plus grandes ou autres entités plus générale décomposent en entités plus petites et plus précises.