Формализация технологических знаний при разработке автоматизированных систем