• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Метод конвертации сервисных автоматов в модели на языке BPEL

ФИО студента: Ким Полина Владиславовна

Руководитель: Шершаков Сергей Андреевич

Кампус/факультет: Факультет компьютерных наук

Программа: Прикладная математика и информатика (Бакалавриат)

Год защиты: 2016

Язык исполнения бизнес-процессов, включающих компоненты веб-сервисов (Web Services Business Process Execution Language, BPEL), предназначен для описания моделей бизнес-процессов и их взаимодействия. BPEL модели состоят из непересекающихся структурных блоков, число которых для реальных процессов может быть достаточно велико. Проверка таких моделей вручную занимает много времени. Сервисные автоматы могут использоваться для моделирования и проверки поведения и взаимодействия веб-сервисов. Таким образом, можно конвертировать заведомо корректные модели в BPEL код. В данной работе рассматривается задача конвертации сервисов, представленных в виде конечных автоматов в модели на языке BPEL. Метод для конвертации строит хорошо структурированный автомат, эквивалентный заданному. Хорошо структурированные автоматы можно непосредственно отображать на BPEL блоки.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ