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