Розетта-лэнг

• Обзор языка Rosetta

  • Rosetta — это язык для проектирования сложных гетерогенных систем. 
  • Цели проектирования включают представление ограничений, гетерогенности и формальной семантики. 
  • Язык поддерживает масштабируемость для крупных проектов. 

• История разработки

  • Rosetta возникла в 1996 году как результат заседания комитета полупроводниковой промышленности. 
  • Проблемы существующих языков включали отсутствие ограничений, формальной семантики и зависимости от моделирования. 
  • Были разработаны три основных подхода: расширение аппаратных языков, расширение языков программирования и создание новых языков. 

• Стандартизация и развитие

  • Стандартизация началась в 2000 году, язык был переименован в Rosetta и передан VHDL International. 
  • В 2007 году Rosetta была стандартизирована IEEE и разработана рабочей группой Rosetta. 
  • В 2013 году проект был закрыт. 

• Структура Rosetta

  • Язык состоит из трех подязыков: выражений, facet и домена. 
  • Язык выражений — это функциональный язык с типами, основанными на расширенных наборах. 
  • Фасеты определяют системы с инженерной точки зрения, используя предметные области и свойства. 
  • Домены определяют типы спецификаций, образуя полную решетку с различными типами доменов. 

• Влияние и дальнейшее развитие

  • Rosetta была вдохновлена Haskell, Larch и PVS. 
  • В 2006 году была опубликована книга о языке. 
  • Rosetta расширилась для проектирования различных систем, включая гидравлические и механические.