مدل‌های رسمی و نیمه‌رسمی