Formalisms est un projet dédié à la création et à la manipulation de modèles selon une syntaxe formelle, représentée en XML. Il permet de définir des formalismes, qui spécifient les types d'éléments et d'attributs supportés, ainsi que des modèles, qui sont des instances de ces formalismes. Les modèles sont représentés sous forme de graphes, avec des nœuds et des arcs, et peuvent être validés selon la syntaxe définie par le formalisme.