Програмний комплекс для моделювання складних систем на основі алгебри процесів

Abstract

Обгрунтовано необхідність застосування алгебри процесів як формального засобу для опису складних систем. Розглянуто основи побудови програмного комплексу, що базується на розширеній алгебрі процесів. Описано принципи організації препроцесорної мови для алгебри процесів і підсистеми моделювання. Порівняно запропонований програмний комплекс із відомими середовищами моделювання подібного типу.

Обоснована необходимость применения алгебры процессов как формального средства для описания сложных систем. Рассмотрены основы построения программного комплекса, базирующегося на расширенной алгебре процессов. Описаны принципы организации препроцессорного языка для алгебры процессов и подсистемы моделирования. Проведено сравнение предложенного программного комплекса с известными средами моделирования подобного типа.

A necessity of application of process algebra as a formal means for the description of complex systems is proved. Basic concepts of construction of a program complex which is based on the expanded process algebra are considered. Principles of the preprocessor language organization for process algebra and a subsystem for simulations are described. Comparison of the suggested program complex with known similar environments for simulations is carried out.