La formalisation conceptuelle est l'étape la plus importante d'un projet informatique. Elle a pour but de fixer les choix des informations et traitements à manipuler dans le SI (à défaut de décrire complètement ce dernier). Pour ne s'attacher qu'à cette étape primordiale l'organisation dans laquelle ces informations et traitements seront utilisés n'est pas étudiée ici.
On utilise deux méthodes de formalisation :
| Modèle conceptuel des données ( MCD ) | |
| Modèle conceptuel des traitements ( MCT ) |