В работе представлено обоснование и теоретическое описание дополнений в концептуальном и инфологическом моделировании предметных задач на разных уровнях абстрагирования в рамках методологии автоматизации интеллектуального труда. Дополнения заключаются в формальном описании ограничений на производные статические структуры концептуальных и инфологических моделей как в универсальном представлении, так и в представлении предметных задач.