• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Student
Title
Supervisor
Faculty
Educational Programme
Final Grade
Year of Graduation
Polina Kim
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.

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses