Язык концептуального моделирования должен предоставлять конструкторы, которые м. б. использованы для представления концептуализации проблемы, рассматриваемой в данной проблемной области. Однако инженерия программ традиционно фокусируется на концепциях реализации. Рассматриваются обобщенные теор. аспекты концептуализации, позволяющие идентифицировать концептуальные элементы, которыми должны обладать конструкторы в проблемно-чувствительном языке концептуального моделирования. Эти элементы обеспечивают формальное определение любой концептуализации.