ઔપચારિકતા મુખ્ય પદ્ધતિઓ - એક આગાહી અને મૉડલિંગ.