Text this: Formal analysis of metamodel :