The act of making formal (as by stating formal rules governing classes of expressions) English: formalization, formalisation