Ребека (язык программирования) - Rebeca (programming language)

Ребекка (аббревиатура от 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.

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

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