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