formalization

description of something in a strict form (often using a formal language or formal system)