8 (495) 987 43 74 доб. 3304 Прием заявок на рассмотрение статей E-mail: evlasova@synergy.ru

Мы в соцсетях -              
Рус   |   Eng

Авторы

Маторин С. И.

Ученая степень
докт. техн. наук, профессор, ЗАО «СофтКоннект»
E-mail
matorin@softconnect.ru
Местоположение
г. Белгород
Статьи автора

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

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

Читать дальше...

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

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

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

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