Систематизация знаний о программируемых задачах

Рассмотрены основы методологии построения символьных моделей программируемых задач, рассчитанных на применение в системах знаний о задачах. Методология основана на результатах, полученных при разработке и исследованиях систем автоматизированного конструирования программ. Для формализованного представления задач используется TSM-комплекс (Task S-Modeling) описания символьных моделей произвольных объектов в человеко-машинной среде (s-среде). Задачи представлены как конструктивные объекты (s-задачи) с определенными типами межзадачных связей и правилами конструирования. Описание s-задачи включает постановку, системы обязательных и ориентирующих правил решения, алгоритмы, библиотеки программ и тестовых примеров. В условиях применения программ указаны операционные системы, требования к аппаратным средствам и др.