Preview

Informatics

Advanced search

МОРФИЗМЫ МОДЕЛЕЙ ПОВЕДЕНИЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ

Abstract

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

For citations:


  . Informatics. 2005;(1(5)):76-88. (In Russ.)

Views: 559


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)