С. И. Маторин

Список книг автора С. И. Маторин



    Формализация системно-объектного подхода «Узел-Функция-Объект»

    С. И. Маторин

    В статье приводятся концептуальные положения системно-объектного подхода, а также исследуется возможность формализации данного подхода алгебраическими средствами. Формальное описание системы как трехэлементной конструкции «Узел-Функция-Объект» (УФО-элемента) в виде специального объекта исчисления объектов Абади-Кардели, а также предлагаемые операции с системами как УФО-элементами используются для обоснования ряда общесистемных закономерностей. На основании классификации связей предлагается классификация УФО-элементов.

    Имитационное моделирование с использованием системно-объектного подхода

    С. И. Маторин

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

    Формализованное визуальное моделирование административных процедур

    С. И. Маторин

    В статье рассмотрены оригинальные способы системного графоаналитического и алгебраического описания административных процедур с целью обеспечения оказания государственных и муниципальных услуг населению в электронном виде в рамках выполнения программы «Электронная Россия». Представлен метод формального описания систем в терминах «Узел», «Функция», «Объект».