formalization processes