Décomposer l’aspect sémantique d’un système en décomposant un critère approprié
(l’aspect sémantique a sa propre logique, qu’il faut respecter quand on le décompose ; notion de domaine d’objets ; proposition d’une architecture générique applicable à cet aspect)