ФОРМАЛЬНЫЕ МЕТОДЫ АНАЛИЗА ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ
Abstract
Анализируются понятия параллелизма и асинхронности – ключевые понятия, лежащие в основе современных представлений о проблемах проектирования вычислительных устройств. При разработке вычислительных устройств широко применяются теоретические модели архитектуры и технологии, использующие концепцию распределенных мультиагентных систем, состоящих из агентов, поведение которых задается посредством протоколов. Рассматривается задача разработки описания поведения агентов как моделирование системы в рамках некоторого формализма, особое внимание уделяется трактовке понятия времени в формализмах, моделирующих проектируемую систему. Показано, что, несмотря на отсутствие явных ссылок, во всех формализмах время учитывается как порядок смены событий.
References
1. Зандере Л.Я., Мартинсонс К.Я., Фрицнович Г.Ф. Автоматизация разработки протоколов сетей ЭВМ и их реализаций (библиография с комментариями) // Вычислительные сети: Логическое проектирование протоколов. – Рига: Зинатне, 1988. – Вып. 2. – С. 200-273.
2. Manna Z., Pnueli A. The temporal logic of reactive systems. – Springer-Verlag, 1991.
3. Ritchie D. M., Thompson K. The UNIX time sharing system // Comm. ACM. – V.1. – №7, 1974. – P. 365-375.
4. Хоар Ч. Взаимодействующие последовательные процессы. – М.: Мир, 1989. – 264 с.
5. Серф В. Передача пакетов // Протоколы и методы управления в сетях передачи данных. – М.: Радио и связь, 1985. – С. 80.
6. Черемисинов Д.И. Формальные методы описания поведения распределенных систем. –Минск, 1991. – 44 с. (Препринт/ Ин-т техн. кибернетики АН БССР; № 38).
7. Дей Дж. Д., Зиммерман Ю. Эталонная модель взаимосвязи открытых систем (ВОС) // ТИИЭР. – 1983. – Т.71. – № 12. – С. 8-17.
8. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на C++. – СПб.: Невский диалект, 1998.
9. Пранявичус Г.И., Хмеляускас А.В. Спецификация и верификация протоколов // Зарубежная радиоэлектроника. – №6. – 1986. – С. 33-49.
10. Milner R. A calculus of concurrent systems. LCNS v. 92 – New-Jork: Springer-Verlag, 1980.
11. Genrich H.J., Lautenbach K. System Modelling with High-level Petri Nets // Theoretical Computer Science. – V. 13. – 1981. – P. 109-136.
12. Вишневский В.М. Теоретические основы проектирования компьютерных сетей. – М.: Техносфера, 2003. – 512 с.
13. Krohn K.B., Rhodes J.L. Algebraic theory of mashines // Trans. Am. Math. Soc. – V.116. – 1965. – P. 450-464.
14. Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981.
15. Физический энциклопедический словарь, 1983. – С. 592.
16. Prior A. Past, Present and Future. – Oxford: Claredon, 1967. – 217 p.
17. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1979. – 320 с.
18. Караваев Э.Ф. Основания временной логики. – Л.: ЛГУ, 1983. – 176 с.
19. Ишмуратов А.Т. Логические теории временных контекстов (временная логика). – Киев: Наукова думка, 1981. – 150 с.
20. Pnuely A. The temporal semantics of concurrent programs. LCNS v. 70. – Berlin: Springer-Verlag, 1979. – P. 1-20.
21. Авакян В.В., Юдицкий С.А. Описание и анализ параллельных алгоритмов логического управления с применением графов операций // АиТ. – №1. – 1990. – С. 100-108.
Review
For citations:
. Informatics. 2004;(3(03)):17-28. (In Russ.)
Views: 408
Email this article 