WikiDer > Ребека (язык программирования)

Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Август 2019 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Ребекка (аббревиатура от Reactive Objects Language) - это актер-основан язык моделирования с формальной основой, разработанной для устранения разрыва между формальными подходами к верификации и реальными приложениями. Ее можно рассматривать как эталонную модель для параллельных вычислений, основанную на оперативной интерпретации модели актора. Это также платформа для практической разработки объектно-ориентированных параллельных систем.

Помимо наличия подходящего и эффективного способа моделирования параллельных и распределенных систем, требуется формальный подход к верификации, чтобы гарантировать их правильность. Rebeca поддерживается набором инструментов проверки. Более ранние инструменты предоставляли интерфейс для работы с кодом Rebeca и для перевода кода Rebeca на языки ввода хорошо известных и зрелых программ проверки моделей (например, SPIN и NuSMV) и, таким образом, могли проверять их свойства. Rebeca, с 2005 г. , поддерживается прямым средством проверки моделей на основе Modere (механизм проверки моделей Rebeca) .Модульные методы проверки и абстракции используются для уменьшения пространства состояний и позволяют проверять сложные реактивные системы. Помимо этих методов Modere поддерживает частичный порядок редукция и редукция симметрии.

Рекомендации

• М. Сирджани. Формальная спецификация и проверка параллельных и реактивных систем, Кандидатская диссертация, Департамент компьютерной инженерии, Технологический университет Шарифа, декабрь 2004 г.
• М. Сирджани, А. Мовагар. Объектно-ориентированная модель для агентов, in Proceedings of Workshop on Agents for Information Management, Austrian Computer Society, October 2002.

Смотрите также

• Формальные методы
• Проверка модели
• Проверка модели SPIN

внешняя ссылка

• Домашняя страница Ребека
• Лаборатория формальных методов, Тегеранский университет

Этот язык программирования-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е