,
Алгебра процесів для моделювання складних систем з реальним робочим навантаженням
У роботі наведено короткий огляд сучасних засобів для опису моделей складних систем. Показано, що для підвищення адекватності моделей актуальним є розвиток нових низькорівневих формальних засобів опису об'єктів - алгебр процесів. Коротко описані основи відомих алгебр процесів і запропонована алгебра процесів, яка орієнтована на імітаційне моделювання складних систем з реальним робочим навантаженням. Розглянуто питання визначення еквівалентності системи й моделі. Наведено приклад опису однорідного обчислювального середовища в термінах алгебри процесів.
Ключові слова: алгебра процесів, процес, активність, поведінкова еквівалентність, строга взаємна подібність.
B. B.Nesterenko, M. A.Novotarskiy
Processes algebra for modelling complex systems with real working loading
In this paper the brief review of modern means for the description of models of complex systems is resulted. It is shown that for increase of adequacy of models the problem of development of new low-level formal means for the objects’ description (process algebras) is actual. Basic concepts of known process algebras are shortly described and the process algebra that focused on simulation of complex systems with real working loading is offered. Questions of definition of equivalence of system and model are considered. The example of the description of the homogeneous computing environment in terms of process algebra is resulted.
Key words: process algebra, process, action, behavioural equivalence, strong bisimulation.
