Аннотация:Препринт содержит описание методологии представления знаний о программируемых задачах в системе порождения программ.
Программируемые задачи рассматриваются как конструктивные объекты, имеющие вид конечных деревьев. Процесс порождения целевой программной системы по описанию предметной области и условий применения представлен как процесс, состоящий из конкретизации задачных конструктивных объектов, их специализации, конструирования новых задачных объектов из уже имеющихся и замены понятийных оболочек.
Модель предметной области может быть представлена одним из трёх типов задачных сетей (называемых U-, C- и N-сетями). Процесс программной реализации интересующей разработчика задачи включает конструктивное доказательство существования разрешающей структуры на задачной сети, выполняемое автоматически, и последующую конкретизацию найденной структуры.
Приведено краткое описание языка спецификации задачных конструктивных объектов.
Препринт написан на основе монографии автора (Ильин В.Д. Система порождения программ. М.: Наука, 1989. 264 с.) и представляет собой компактное изложение той её части, которая посвящена представлению знаний о программируемых задачах.