Il linguaggio naturale è potenzialmente: ambiguo, omissivo, contraddittorio, poco leggibile. Per questo utilizziamo la logica del primo ordine (FOL) per definire tutto ciò che, nello schema concettuale, non è definibile mediante diagrammi:
- Vincoli sui dati (esterni al diagramma delle classi)
- Specifiche delle operazioni di classe e di use-case