Информация о статье журнала "Информатика"
Реферат
Полный текст статьи
Формальные методы анализа поведения распределенных систем' Черемисинов Д. И. 1

  1. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 519.71

Статья поступила: 21.06.2004

Реферат:

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