Réponse : Un type primitif peut être calculable ou non. Il est calculable si toute l'information nécessaire pour le calculer est connue et valide. Cette information est de double nature : ses propres caractéristiques, et celle qui provient des autres types primitifs. Un type primitif peut être validé ou invalidé. Il est validé s'il était calculable et a été calculé. Il devient invalidé lorsqu'une partie de l'information nécessaire à son recalcul est modifiée. Un type primitif a des prérequis et/ou des subordonnés. Ses prérequis sont les autres types primitifs qui contiennent une partie de l'information dont il a besoin pour être calculé, et doivent donc être validés pour qu'il devienne calculable. Ses subordonnés sont les autres types primitifs dont il est un prérequis. Un type devient ainsi invalidé dans deux cas : soit si l'une de ses propres caractéristiques est changée, soit quand l'un au moins de ses prérequis est invalidé. Il est calculable quand tous ses prérequis sont validés. Les corps n'ont pas de prérequis, et certains types pas de subordonnés. Un projet suit l'évolution des types invalidés. Lorsque le bouton Recalculer de la fenêtre de projet ou de recalcul est activé, tous les types invalidés qui sont calculables sont calculés.