Розетта-лэнг
-
Обзор языка Rosetta
- Rosetta — это язык для проектирования сложных гетерогенных систем.
- Цели проектирования включают представление ограничений, гетерогенности и формальной семантики.
- Язык поддерживает масштабируемость для крупных проектов.
-
История разработки
- Rosetta возникла в 1996 году как результат заседания комитета полупроводниковой промышленности.
- Проблемы существующих языков включали отсутствие ограничений, формальной семантики и зависимости от моделирования.
- Были разработаны три основных подхода: расширение аппаратных языков, расширение языков программирования и создание новых языков.
-
Стандартизация и развитие
- Стандартизация началась в 2000 году, язык был переименован в Rosetta и передан VHDL International.
- В 2007 году Rosetta была стандартизирована IEEE и разработана рабочей группой Rosetta.
- В 2013 году проект был закрыт.
-
Структура Rosetta
- Язык состоит из трех подязыков: выражений, facet и домена.
- Язык выражений — это функциональный язык с типами, основанными на расширенных наборах.
- Фасеты определяют системы с инженерной точки зрения, используя предметные области и свойства.
- Домены определяют типы спецификаций, образуя полную решетку с различными типами доменов.
-
Влияние и дальнейшее развитие
- Rosetta была вдохновлена Haskell, Larch и PVS.
- В 2006 году была опубликована книга о языке.
- Rosetta расширилась для проектирования различных систем, включая гидравлические и механические.