Исполняемая хореография
Исполняемая хореография представляет собой децентрализованную форму составления службы , предполагающую сотрудничество нескольких отдельных субъектов. Это улучшенная форма служебной хореографии . Исполняемые хореографии можно интуитивно рассматривать как произвольные сложные рабочие процессы, которые выполняются в системах, принадлежащих нескольким организациям или органам власти. [ 1 ]
Исполняемые хореографии — это реальный код, созданный для кодирования поведения системы с глобальной точки зрения. Поведение основных сущностей системы задается в одной программе. Хореографии повышают качество программного обеспечения, поскольку они ведут себя как исполняемые чертежи того, как должны вести себя взаимодействующие системы, и предлагают краткое представление о потоках сообщений, выполняемых системой.
Исполняемая и неисполняемая хореография
[ редактировать ]Почти во всех приложениях бизнес-логика должна быть разделена на разные сервисы. Оркестровка . представляет собой способ организации и составления этих сервисов Полученный сервис можно иерархически интегрировать в другую композицию. [ 2 ]
Хореография сервисов — это глобальное описание участвующих сервисов, которое определяется обменом сообщениями, правилами взаимодействия и соглашениями между двумя или более конечными точками. Хореография использует децентрализованный подход к композиции услуг. [ 3 ]
В промышленности концепция хореографии обычно считается неисполнимой . Стандарты, например, предложенные языком описания хореографии веб-сервисов, [ 4 ] представить хореографию как более формальную модель для описания контрактов между автономными субъектами (как правило, отдельными организациями), участвующими в составе услуг, анализируемых на глобальном уровне. С этой точки зрения сама композиция должна быть реализована централизованно с помощью различных механизмов оркестрации, предоставляемых компаниями: простая композиция кода или использование определенных языков и механизмов оркестровки, таких как BPEL (язык выполнения бизнес-процессов), [ 5 ] механизмы правил и т. д.
В области академических исследований концепция исполняемой хореографии предлагается как метод, позволяющий исключить договорную часть и фактическую часть кода как два разных артефакта, которые могут быть несинхронизированы или требовать субъективных интерпретаций. Примеры: «Исполняемый расчет для хореографии обслуживания». [ 6 ] или «Исполняемая хореографическая структура для динамических сервис-ориентированных архитектур». [ 7 ] Лишь немногие из этих подходов имели практическое значение, часто на уровне статей или, по крайней мере, исследовательских проектов . Настоящий прорыв блокчейна в последние годы привлек еще большее внимание академического сообщества и индустрии к концепции « умного контракта », которую можно рассматривать как особую форму исполняемой хореографии.
Типы исполняемых хореографий
[ редактировать ]Поддающаяся проверке хореография
[ редактировать ]Исполняемые хореографии представляют собой более общую концепцию и не обязательно являются проверяемыми хореографиями, если они не используют идею сайта, рассматриваемого как контекст безопасности для выполнения кода. В качестве примеров подходов к программированию с использованием исполняемых хореографий можно назвать европейский проект CHOReOS, [ 8 ] язык программирования Chor, [ 9 ] моделирование веб-сервисов в разделе «Хореография веб-сервисов» [ 10 ] некоторых аспектов, связанных с составлением веб-сервисов с использованием пи-исчисления. [ 11 ] Термин «проверяемый» был введен, чтобы подчеркнуть возможность проверки роевой коммуникации . Явное наличие идеи места исполнения приводит к возможности разработки алгоритмов проверки, что можно увидеть в статье «Уровни конфиденциальности систем электронного здравоохранения в эпоху облаков». [ 12 ]
Зашифрованная хореография
[ редактировать ]Зашифрованная криптография предполагает, что помимо проверки они предлагают решения более высокого уровня для продвинутых криптографических методов без необходимости программистов становиться специалистами по криптографии. Распределенные приложения могут быть созданы из подсистем, которые позволяют идентифицировать или проверять архитектурные точки, раскрывающие секретные данные. Например, в идеале система программирования, использующая зашифрованные хореографии, гарантирует или, по крайней мере, помогает свести к минимуму ситуации, когда человек (имеющий юридическую лицензию или хакер) хранит как зашифрованные личные данные, так и ключи шифрования, относящиеся к одним и тем же ресурсам. Таким образом, администраторы или программисты этих подсистем имеют меньше возможностей для проведения внутренних атак на конфиденциальность (уровень с частыми атаками). Даже если некоторые приложения не могут использовать этот подход, зашифрованная хореография может минимизировать риски безопасности, создаваемые людьми внутри, которые администрируют или программируют эти системы. Таким образом, формально обеспечивается количество точек с дискретным доступом к данным (в идеале – никогда). Эта форма хореографии полезна, поскольку позволяет компаниям с помощью кода обеспечить соблюдение предполагаемого законодательства или правил безопасности.
Реализация зашифрованной хореографии подразумевает, например, существование систем хранения данных, использующих криптографические методы с практической реализацией гомоморфного шифрования , таких как CryptDB. [ 13 ] [ 14 ] реализация от MIT. В статье опубликован метод, который также можно назвать «методом хранения, разделения и анонимизации» с помощью зашифрованных хореографий, который может привести к идеалу полного «суверенитета» (в пределах закона) над частными данными. «Система частных данных, обеспечивающая независимое хранилище, управляемое исполняемыми хореографиями». [ 15 ] В этой статье показано, как хореографии анонимизируют и разделяют данные таким образом, чтобы гарантировать, что данные не могут быть скопированы одним администратором или хакером, который контролирует только один из участвующих узлов. Реализованные механизмы также могут включать в себя интерфейсы, которые программисты могут легко использовать для продвинутых криптографических методов.
Бессерверная хореография
[ редактировать ]Бессерверные вычисления — это модель облачных вычислений, в которой поставщик облачных услуг динамически управляет распределением вычислительных ресурсов. Бессерверная хореография предполагает автоматизацию методов запуска с использованием методов виртуализации и автоматизации.
Реализация этого продвинутого типа хореографии требует разработки новых бизнес-моделей для облегчения хостинга облачных приложений без каких-либо проблем, связанных с оплатой, установкой и т. д. Например, концепция Tor представляет собой пример таких бессерверных систем. Самый известный пример — Amazon Lambda , который имеет большой коммерческий успех, позволяя программистам игнорировать детали установки и обеспечивать динамическое масштабирование систем. Блокчейны можно рассматривать как примеры бессерверных баз данных.
Бессерверные хореографии предполагают, что выполнение и хранение в облаке осуществляется с использованием зашифрованных хореографий. Используя эту форму хореографии, хостинговые компании или частные лица, управляющие физической и логической инфраструктурой хостинга, не смогут влиять на размещенную установку или приложения. Бессерверная хореография открывает возможность для разработки распределенных децентрализованных систем и потенциал формального обеспечения расширенных свойств конфиденциальности.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ «Уровни конфиденциальности систем электронного здравоохранения в эпоху облачных вычислений» (PDF) . 24-я Международная конференция по развитию информационных систем : 243–253. Август 2015.
- ^ «Хореография и оркестровка с использованием языка выполнения бизнес-процессов для SOA с веб-сервисами» . Международный журнал IJCSI по проблемам компьютерных наук . 8 (2): 224–232. Март 2011.
- ^ «Оркестровка против хореографии» .
- ^ «Спецификация WSCDL» .
- ^ «Стандарт WS-BPEL» (PDF) .
- ^ Безана, Паоло; Баркер, Адам (2009), «Исполняемый расчет для хореографии сервисов», На пути к значимым интернет-системам: OTM 2009 (PDF) , Конспекты лекций по информатике, том. 5870, Springer Berlin Heidelberg, стр. 373–380, CiteSeerX 10.1.1.525.2508 , doi : 10.1007/978-3-642-05148-7_26 , ISBN 9783642051470
- ^ Аккави, Ф.; Коттенье, Т.; Алена, РЛ; Флетчер, ДП; Дункэвидж, ДП; Эльрад, Т. (2006). «Исполняемая хореографическая структура для динамических сервис-ориентированных архитектур». Аэрокосмическая конференция IEEE 2006 г. стр. 1–13. дои : 10.1109/aero.2006.1656059 . ISBN 978-0780395459 . S2CID 34895834 .
- ^ «ХореОС» .
- ^ «Язык программирования Chor» .
- ^ Баркер, Адам; Уолтон, Кристофер Д.; Робертсон, Дэвид (2004). «Хореография веб-сервисов». Транзакции IEEE в сфере вычислительных услуг . 2 (2): 152–166. дои : 10.1109/tsc.2009.8 . ISSN 1939-1374 . S2CID 15816522 .
- ^ Безана, Паоло; Баркер, Адам (2009), «Исполняемый расчет для хореографии сервисов», На пути к значимым интернет-системам: OTM 2009 (PDF) , Конспекты лекций по информатике, том. 5870, Springer Berlin Heidelberg, стр. 373–380, CiteSeerX 10.1.1.525.2508 , doi : 10.1007/978-3-642-05148-7_26 , ISBN 9783642051470
- ^ «Уровни конфиденциальности систем электронного здравоохранения в эпоху облаков» . 24-я Международная конференция по развитию информационных систем : 1–10. 2015.
- ^ Попа, Ралука Ада; Редфилд, Кэтрин М.С.; Зельдович, Николай; Балакришнан, Хари (23 октября 2011 г.). «CryptDB: защита конфиденциальности с помощью зашифрованной обработки запросов». Материалы двадцать третьего симпозиума ACM по принципам операционных систем . стр. 85–100. дои : 10.1145/2043556.2043566 . hdl : 1721.1/74107 . ISBN 9781450309776 . S2CID 6323154 .
- ^ Ту, Стивен; Каашук, М. Франс; Мэдден, Сэмюэл; Зельдович, Николай; Ту, Стивен; Каашук, М. Франс; Мэдден, Сэмюэл; Зельдович, Николай (01 марта 2013 г.). «Обработка аналитических запросов к зашифрованным данным. Обработка аналитических запросов к зашифрованным данным» (PDF) . Труды Фонда VLDB . 6 (5): 289, 289–300, 300. doi : 10.14778/2535573.2488336 . hdl : 1721.1/87023 . ISSN 2150-8097 . S2CID 2187816 .
- ^ Альбоаи, Синица; Косован, Дойна (2017), «Частная система данных, обеспечивающая автономное хранилище, управляемое исполняемыми хореографиями», Распределенные приложения и взаимодействующие системы , Конспекты лекций по информатике, том. 10320, Springer International Publishing, стр. 83–98, arXiv : 1708.09332 , doi : 10.1007/978-3-319-59665-5_6 , ISBN. 9783319596648 , S2CID 6063958