Язык координации Reo

• Основы Reo

  • Reo — специализированный язык для создания систем на основе протоколов координации. 
  • Примеры систем включают компоненты, сервис-ориентированные системы и криптографические протоколы. 

• Структура схемы Reo

  • Схема Reo представляет собой тройную R = (N, B, C, t), где N — набор узлов, B — граничные узлы, C — каналы, t — типы каналов. 
  • Узлы имеют фиксированное поведение репликатора слияния или слияния, каналы определяются пользователем и могут сохранять или изменять данные. 

• Свойства разработки программного обеспечения

  • Reo является экзогенным языком, предоставляющим примитивы для координации извне. 
  • Экзогенные модели поощряют разработку координационных модулей отдельно от вычислительных модулей. 
  • Схемы Reo являются композиционными, что позволяет создавать сложные схемы из более простых. 

• Семантика Reo

  • Семантика Reo включает коалгебраические потоки данных и автоматы с ограничениями. 
  • Раскраска коннекторов позволяет моделировать временное или вероятностное поведение. 

• Реализации Reo

  • ECT — это интегрированная среда разработки для Reo с графическим редактором и анимационным движком. 
  • ECT генерирует код для схем на основе семантики автоматов с ограничениями. 
  • Существует реализация Reo на языке программирования Scala, которая распределяет схемы. 

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

  • Ссылки на веб-сайт Reo предоставлены для дополнительной информации.