IPRI - www.ipri.kiev.ua -  IPRI - www.ipri.kiev.ua -
Раздел [RUS]
Регистрация, хранение и обраб. данных. — 2007. — Т. 9, № 4.
[UKR]
Реєстрація, зберігання і оброб. даних. — 2007. — Т. 9, № 4.
[ENG]
Data Rec., Storage & Processing. — 2007. — Vol. 9, N 4.
Страницы 49-59
PDF,DOC, full text
Заглавие [RUS]
Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой
[UKR]
Алгебра процесів для моделювання складних систем з реальним робочим навантаженням
[ENG]
Process Algebra for Modeling Complex Systems with Real Working Loading
Авторы [RUS]
Б. Б. Нестеренко, М. А. Новотарский
[UKR]
Нестеренко Б.Б., Новотарський М.А.
[ENG]
Nesterenko B.B., Novotarskiy M.A.
Kiev, Ukraine
Аннотация [RUS]
Приведен краткий обзор современных средств для описания моделей сложных систем. Показано, что для повышения адекватности моде-лей актуальна задача развития новых низкоуровневых формальных средств описания объектов — алгебр процессов. Коротко описаны ос-новы известных алгебр процессов и предложена алгебра процессов, ориентированная на имитационное моделирование сложных систем с реальной рабочей нагрузкой. Рассмотрены вопросы определения экви-валентности системы и модели. Приведен пример описания однород-ной вычислительной среды в терминах алгебры процессов.
[UKR]
Наведено короткий огляд сучасних засобів для опису моделей складних систем. Показано, що для підвищення адекватності моделей актуальним є розвиток нових низькорівневих формаль-них засобів опису об’єктів — алгебр процесів. Коротко описано основи відомих алгебр процесів і запропоновано алгебру процесів, яка орієнтована на імітаційне моделювання складних систем з реальним робочим навантаженням. Розглянуто питання визначення еквівалентності системи й мо-делі. Наведено приклад опису однорідного обчислювального середовища в термінах алгебри про-цесів. Іл.: 1. Бібліогр.: 12 найм.
[ENG]
A brief review of modern means for the description of complex systems models is given. 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 is focused on simulation of complex systems with real working loading is offered. Questions of definition of equivalence of a system and a model are considered. An example of the description of the homogeneous computing environment in terms of process algebra is given. Fig.: 1. Refs.: 12 titles.
Ключевые слова [RUS]
алгебра процессов, процесс, активность, поведенческая эквивалентность, строгое взаимное подобие.
[UKR]
алгебра процесів, процес, активність, поведінкова еквівалентність, строга взаємна подібність.
[ENG]
process algebra, process, action, behavioural equivalence, strong bisimulation.
Ссылки 1. Fritzson P. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. — San Francisco: Wiley-IEEE Press, 2004. — 944 p.
2. Karris T.S. Introduction to Simulink with Engineering Applications. — Fremont: Orchard Publi-cations, 2006. — 584 p.
3. Дьяконов В. VisSim+MathCad+MATLAB. Визуальное математическое моделирование. — М.: Солон-Пресс, 2004. — 384 с.
4. Буч Г., Якобсон А. UML. Классика CS. — С.Петербург: Из-во «Питер», 2006. — 736 с.
5. Питерсон Дж. Теория сетей Петри и моделирование систем. — М.: Мир, 1984. — 264 с.
6. Нестеренко Б.Б., Новотарский М.А. Мультипроцессорные системы. — К.: Институт ма-тематики АН Украины, 1995. — 408 с.
7. Milner R. Communication and Concurrency. — London: Prentice-Hall, 1989. — 260 p.
8. Хоар Ч. Взаимодействующие последовательные процессы. — М.: Мир, 1989. — 264 с.
9. Bergstra J.A., Klop J.W. Algebra for Communicating Processes with Abstraction // J. of Theoret-ical Computer Science. — 1985. — Vol. 37. — P. 77–121.
10. Hilston J. A Compositional Approach to Performance Modelling. — Cambridge University Press. —1996. — 168 p.
11. Glynn P.W. A GSMP Formalism for Discrete Event Simulation // Proc. of the IEEE. — 1989. — Vol. 77, N 1. — P. 14–23.
12. Main M. Trace, Failure and Testing Equivalences for Communicating Processes // International Journal of Parallel Programming. — 1987. — Vol.16, N 5. — P. 383–400.
Файлы statja.doc