Интеграция средств формализации графоаналитических моделей “Узел-Функция-Объект”

Рассматривается новый метод формального описания систем в терминах “Узел”, “Функция”, “Объект”, который основан на сравнительном исследовании и интеграции алгебраических средств теории паттернов Гренандера и исчисления процессов Милнера. С помощью предложенного метода формализуются процедуры декомпозиции и агрегации графоаналитических моделей “Узел-Функция-Объект”.