Formaliseerida

Formaliseerida tähendab teha millestki ametlik, formalne või kirjalikult määratletud; viia midagi formaalsele tasemele, kehtestada reeglid või esitada see formaalsetes mõistetes. Sageli on tegemist protsessiga, kus idee või praktika muudetakse täpselt defineeritavateks, kontrollitavateks reegliteks, skeemideks või kirjeldusteks. Formaliseerimine suurendab selguse, järjepidevuse ja kontrollimise võimalust ning võimaldab paremini kontrollida tulemuste kokkulangevust.

Etymoloogiliselt on vormimehhanismist laenatud sõna formaliseerida ehitatud inglise keelsest vastest formalize ning see on eestikeelses sõnavaras laialt kasutust leidnud koos -iseerida lisanduvate verbivormide kaudu (näiteks organiseerida, normaliseerida). Sõna otsene tähendus on seotud formaalsusega ja kehtestatud struktuuride loomisega.

Kasutusvaldkonnad hõlmavad erinevaid valdkondi. Matemaatikas, loogikas ja informaatikatöös tähendab formaliseerimine teooria muundamist formaalseteks aksioomideks, sümboliteks ja reeglite kogumikuks, mis võimaldab teooriat kontrollida ja viidata. Jurisprudentsis või halduses võib see tähendada protsesside või lepingute muutmist nii, et need vastavad kindlale, ametlikule vormile. Äri- ja projektijuhtimises kasutatakse formaliseerimist kirjelduste, juhiste ja töökäikude standardiseerimiseks.

Teks on seotud mõisted: formaalsus, formalisatsioon ning formaalne keel või mudel. Formaliseerimine ei tähenda pelgalt lihtsustamist, vaid ka täpsuse ja verifiitavuse suurendamist.