С. И. Маторин
Список книг автора С. И. МаторинФормализация системно-объектного подхода «Узел-Функция-Объект»
В статье приводятся концептуальные положения системно-объектного подхода, а также исследуется возможность формализации данного подхода алгебраическими средствами. Формальное описание системы как трехэлементной конструкции «Узел-Функция-Объект» (УФО-элемента) в виде специального объекта исчисления объектов Абади-Кардели, а также предлагаемые операции с системами как УФО-элементами используются для обоснования ряда общесистемных закономерностей. На основании классификации связей предлагается классификация УФО-элементов.
Имитационное моделирование с использованием системно-объектного подхода
В статье обсуждается актуальность развития методов и средств имитационного моделирования, в первую очередь путем преобразования визуальных (графоаналитических) моделей организационно-деловых и производственно-технологических процессов. Описываются основные понятия и формализмы системно-объектного подхода «Узел–Функция–Объект» (УФО-подход) и системно-объектного метода представления знаний (СОМПЗ) с использованием алгебраических аппаратов теории паттернов Гренандера, исчисления процессов Милнера и исчисления объектов Абади-Кардели. Обосновывается перспективность использования этих средств для создания новых методов имитационного моделирования. Представлено два способа имитационного моделирования с использованием системно-объектного подхода «Узел–Функция–Объект». Во-первых, путем формализации системно-объектных графоаналитических моделей знаний о бизнес-процессах алгебраическими средствами исчисления объектов и, во‑вторых, путем преобразования визуальных системно-объектных моделей в их описания на языке моделирования производственных процессов «CHI» (c). Полученные результаты свидетельствуют о возможности и целесообразности создания средств имитационного моделирования, использующих в своей основе УФО-подход, что и реализовано в новой версии программного инструментария UFO-toolkit, автоматизирующего описанные в статье процедуры моделирования.
Формализованное визуальное моделирование административных процедур
В статье рассмотрены оригинальные способы системного графоаналитического и алгебраического описания административных процедур с целью обеспечения оказания государственных и муниципальных услуг населению в электронном виде в рамках выполнения программы «Электронная Россия». Представлен метод формального описания систем в терминах «Узел», «Функция», «Объект».