IPRI - www.ipri.kiev.ua -  IPRI - www.ipri.kiev.ua -
Раздел [RUS]
Регистрация, хранение и обраб. данных. — 2008. — Т. 10, № 1.
[UKR]
Реєстрація, зберігання і оброб. даних. — 2008. — Т. 10, № 1.
[ENG]
Data Rec., Storage & Processing. — 2008. — Vol. 10, N 1.
Страницы 34-43
PDF,DOC, full text
Заглавие [RUS]
Програмний комплекс для моделювання складних систем на основі алгебри процесів
[UKR]
Программный комплекс для моделирования сложных систем на основе алгебры про-цессов
[ENG]
Program Complex for Modeling Complex Systems on the Basis of Process Algebra
Авторы [RUS]
Б. Б. Нестеренко, М. А. Новотарський
[UKR]
Нестеренко Б.Б., Новотарский М.А.
[ENG]
Nesterenko B.B., Novotarskiy M.A.
Kiev, Ukraine
Аннотация [RUS]
Обґрунтовано необхідність застосування алгебри процесів як форма-льного засобу для опису складних систем. Розглянуто основи побудови програмного комплексу, що базується на розширеній алгебрі процесів. Описано принципи організації препроцесорної мови для алгебри проце-сів та підсистеми моделювання. Проведено порівняння запропоновано-го програмного комплексу з відомими середовищами моделювання по-дібного типу.
[UKR]
Обоснована необходимость применения алгебры процессов как формального средства для описания сложных систем. Рассмотрены основы построения программного комплекса, базирую-щегося на расширенной алгебре процессов. Описаны принципы организации препроцессорного языка для алгебры процессов и подсистемы моделирования. Проведено сравнение предложенного программного комплекса с известными средами моделирования подобного типа. Табл.: 1. Ил.: 3. Библиогр.: 10 наим.
[ENG]
A necessity of application of process algebra as a formal means for the description of complex sys-tems 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. Tabl.: 1. Fig.: 3. Refs.: 10 titles.
Ключевые слова [RUS]
імітаційне моделювання, алгебра процесів, операція, процес, активність.
[UKR]
имитационное моделирование, алгебра процессов, операция, процесс, активность.
[ENG]
simulation, process algebra, operation, process, activity.
Ссылки 1. Баранов С.И. Синтез микропрограммных автоматов. — Л.: Энергия, 1979. — 232 с.
2. Бусленко Н.П. Моделирование сложных систем. — М.: Наука, 1978. — 400 с.
3. Нестеренко Б.Б., Новотарский М.А. Мультипроцессорные системы. — К.: Институт ма-тематики АН Украины, 1995. — 408 с.
4. Valiante G. Algorithms on Trees and Graphs. — Berlin: Springer, 2002. — 450 p.
5. Нестеренко Б.Б., Новотарский М.А. Алгебра процессов для моделирования параллельных асинхронных вычислительных структур // Электронное моделирование. — 2006. — Т. 28, № 4. — С. 47–64.
6. Bonet P., Llado C.M., Puijaner R., Knottenbelt W.J. PIPE v2.5: A Petri Net Tool for Perfor-mance Modelling // Proc. 23rd Latin American Conference on Informatics, 2007. — 12 p.
7. Kwiatkowska M.Z., Norman G., Parker D. Probabilistic Symbolic Model Checking with PRISM: a Hybrid Approach // Software Tools for Technology Transfer. — 2004. — Vol. 6, N 2. — P. 128–142.
8. Hillston J. Compositional Approach to Performance Modeling. — Cambridge: Cambridge Uni-versity Press, 1996. — 186 p.
9. Bradley J.T., Dingle N.J., Gilmore S.T., Knottenbelt W.J. Extracting Passage Times from PEPA Models with the HYDRA Tool: A Case Study // Proc. 19th UK Performance Engineering Workshop, 2003. — P. 79–90.
10. Larsen K.G., Pettersson P., Yi W. UPPAAL in a Nutshell // Int. Journal on Software Tools for Technology Transfer. — 1997. — Vol. 1, N 1–2. — P. 134–152.
Файлы Novotarskiy2.doc