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