Аннотация

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