Хореографическое программирование
-
Основы хореографического программирования
- Хореографическое программирование — парадигма, где программы представляют взаимодействия между участниками.
- Программы в этой парадигме называются хореографическими и основаны на нотации «Алиса и Боб».
- Хореографические языки используют коммуникационные примитивы для описания поведения участников.
-
Примеры и проекции конечных точек
- Упрощенный протокол единого входа (SSO) с тремя ролями: клиент, служба, CAS.
- Хореография SSO начинается с передачи учетных данных и идентификатора службы CAS.
- CAS проверяет запрос и генерирует токен, который передается клиенту и службе.
- При неудачной аутентификации CAS информирует клиента и службу об ошибке.
- Endpoint projection создает программы для каждой роли, соответствующие хореографической постановке.
-
Развитие и языки
- Хореографическое программирование берет начало в докторской диссертации и вдохновляется нотацией «Алиса и Боб».
- Парадигма активно исследуется в различных областях, включая информационные потоки, параллельные вычисления и киберфизические системы.
- Существует множество языков хореографического программирования, включая AIOCJ, Chor, Хоровой, Припев и другие.
-
Дополнительные ресурсы
- Ссылки на обозначение протокола безопасности, схему последовательности действий и другие связанные понятия.
Полный текст статьи: