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