Книга "Формализация системно-объектного подхода «Узел-Функция-Объект»" исследует системно-объектный подход и предлагает возможность его формализации с помощью алгебраических средств. В книге описывается система как трехэлементная конструкция "Узел-Функция-Объект" (УФО-элемент), которая представлена в виде специального объекта исчисления объектов Абади-Кардели. Книга также предлагает операции с системами как УФО-элементами и использует их для обоснования ряда общесистемных закономерностей. Классификация УФО-элементов предлагается на основе классификации связей.
На основе приведенного текста можно сделать следующее описание книги "Формализация системно- объектного подхода 'Узел - Функция - Объект' " С.И.Маторина: В книге излагаются основные положения логико-математического подхода к системному моделированию, состоящего из трех основных компонентов: 'узел', 'функция', 'объект'. Данное исследование является попыткой формализовать этот подход алгебраически. Как указывается в работе, трехэлементная конструкция 'УФО-элемент' может быть описана алгебраически с использованием аппарата теории вычислений объектов А.Абади и К.Кардели. В основе данной работы лежит процедура доказательства некоторых системных закономерностей с использованием алгебры 'УФО-модели'. Изменения в системах описываются с помощью операций над 'УФО' элементами и классифицируются с помощью введенной авторами классификации 'узлов', 'функций' и 'объектов'.
В статье рассматриваются основные принципы системно—объектного подхода и его возможность формального описания при помощи алгебраических средств. Формально система представлена как трехчленная конструкция («Узел—Функция—Объект»), записываемая как особый объект из исчисления Abadi—Cardeli. Предлагаемые операции с такими конструкциями используются автором для демонстрации ряда основных закономерностей, свойственных всем системам. Автор анализирует важнейшие типы связей и их влияние на свойства систем.
Электронная Книга «Формализация системно-объектного подхода «Узел-Функция-Объект»» написана автором С. И. Маторин в 2018 году.
Минимальный возраст читателя: 0
Язык: Русский
Серии: Прикладная информатика. Научные статьи
Описание книги от С. И. Маторин
В статье приводятся концептуальные положения системно-объектного подхода, а также исследуется возможность формализации данного подхода алгебраическими средствами. Формальное описание системы как трехэлементной конструкции «Узел-Функция-Объект» (УФО-элемента) в виде специального объекта исчисления объектов Абади-Кардели, а также предлагаемые операции с системами как УФО-элементами используются для обоснования ряда общесистемных закономерностей. На основании классификации связей предлагается классификация УФО-элементов.
