• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФИО студента
Название работы
Руководитель
Факультет
Программа
Оценка
Год защиты
Ким Полина Владиславовна
Method for Converting Service Automata into BPEL Models
2016
Web Service Business Process Execution Language (BPEL) provides wide functionality for modelling business processes paying specific attention to their interaction. BPEL language is block-structured language; for real-life processes the number of blocks can be quite large. Therefore, it is a time consuming routine operation to validate BPEL code manually.

Service automata can be used to describe service behaviour and interaction. Moreover, service automata are widely used to to validate behaviour of interacting web services in term of correctness and optimal performance. If we convert pre-tested automata into BPEL code result models will remain correct.

In this work, we present an approach to convert service automata into BPEL models. The method builds a well-structured automaton equivalent to a given automaton. Such kind of automata enables us to map them directly on BPEL code.

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

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

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

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

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

Расширенный поиск ВКР