Ребека (язык программирования)
-
Основы Rebeca
- Rebeca — это язык моделирования, основанный на актерах, который стремится преодолеть разрыв между формальной верификацией и реальными приложениями.
- Он является эталонной моделью для параллельных вычислений и поддерживает оперативную интерпретацию модели актора.
- Rebeca также является платформой для разработки объектно-ориентированных параллельных систем.
-
Поддержка верификации
- Rebeca поддерживает набор инструментов проверки, которые позволяют проверять свойства моделей.
- Начиная с 2005 года, используется программа Modere для прямой проверки моделей Rebeca.
- Методы модульной верификации и абстрагирования помогают сократить пространство состояний и проверять сложные системы.
-
Дополнительные ресурсы
- Ссылки на формальные методы, проверку моделей и устройство для проверки моделей вращения.
- Упоминание докторской диссертации и семинара по агентам для управления информацией.
-
Примечание
- Статья является заглушкой и призывает читателей помочь расширить ее.