Definition of "Formalization" :

noun: the act of making formal (as by stating formal rules governing classes of expressions)