Definitions of formalization:

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