formalization

noun
  1. the process of making something formal or official; the act of giving something a formal structure or status
  2. in logic and mathematics, the process of expressing ideas, rules, or systems using formal notation or symbolic language
  3. Usage: technical

Examples