Архитектурное программирование. Языки Арс и Арвиль

Архитектурное программирование (АРП) - это технология, обеспечивающая корректность описания архитектуры программной системы в течении всего времени жизни системы. Описание архитектуры состоит из описания устройства системы, описание частей (компонент) и их взаимодействия. В АРП описание архитектуры делается с помощью формальной нотации и является входным данным для компиляторов и/или систем сборки. Для практической проверки жизнеспособности технологии разрабатываются два экспериментальных языка: Арс - описание системы и Арвиль - разработка компонент.
Есть рабочие записи на YouTube-канале ИСИ СО РАН первой (https://www.youtube.com/watch?v=OhK6MsnNeKU) и второй (https://www.youtube.com/watch?v=SsML27oNwPk) частей доклада, а также презентация доклада (https://persons.iis.nsk.su/files/persons/pages/nedorya03jul24.pdf).